Decision #370 — src/lib.rs:750
Status: no_witness
Truth table
| row | c0 br 2256 | c1 br 2257 | outcome |
|---|---|---|---|
| 91502 | F | F | F |
| 99279 | F | F | F |
| 107770 | F | F | F |
| 115846 | F | F | F |
| 157639 | F | F | F |
| 157640 | F | F | F |
| 167497 | F | F | F |
| 167498 | F | F | F |
Independent-effect pairs
c0(branch2256): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc1(branch2257): GAP view gap →scry_analyze_core::compute_bit_facts· br_if