Decision #638 — src/core_api/wrapper.rs:23
Status: no_witness
Truth table
| row | c0 br 4252 | c1 br 4254 | c2 br 4255 | outcome |
|---|---|---|---|---|
| 92293 | * | * | F | F |
| 100122 | * | * | F | F |
| 108611 | * | * | F | F |
| 116637 | * | * | F | F |
| 215916 | * | * | F | F |
Independent-effect pairs
c0(branch4252): DEAD view gap →scry_analyze_core::recursive_flags_from_sccs· br_if
inlined: lib.rs:1635 ← src/digest.rs:125c1(branch4254): DEAD view gap →scry_analyze_core::recursive_flags_from_sccs· br_ifc2(branch4255): GAP view gap →scry_analyze_core::recursive_flags_from_sccs· br_if