Decision #67 — src/lib.rs:773
Status: no_witness
Truth table
| row | c0 br 459 | c1 br 460 | outcome |
|---|---|---|---|
| 9483 | F | F | F |
| 10631 | F | F | F |
| 11722 | F | F | F |
| 72395 | F | F | F |
| 72396 | F | F | F |
| 75870 | F | F | F |
| 75871 | F | F | F |
Independent-effect pairs
c0(branch459): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc1(branch460): GAP view gap →scry_analyze_core::compute_bit_facts· br_if