Decision #371 — src/lib.rs:760
Status: no_witness
Truth table
| row | c0 br 2265 | c1 br 2266 | outcome |
|---|---|---|---|
| 91503 | T | F | T |
| 99280 | T | F | T |
| 107771 | T | F | T |
| 115847 | T | F | T |
| 157641 | T | F | T |
| 157642 | T | F | T |
| 167499 | T | F | T |
| 167500 | T | F | T |
Independent-effect pairs
c0(branch2265): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc1(branch2266): GAP view gap →scry_analyze_core::compute_bit_facts· br_if