Decision #76 — src/lib.rs:129
Status: no_witness
Truth table
| row | c0 br 544 | c1 br 545 | outcome |
|---|---|---|---|
| 13147 | T | * | T |
| 20865 | T | * | T |
| 92408 | T | * | T |
| 111271 | T | * | T |
Independent-effect pairs
c0(branch544): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc1(branch545): DEAD view gap →scry_analyze_core::compute_bit_facts· br_if