Decision #68 — src/lib.rs:777
Status: no_witness
Truth table
| row | c0 br 462 | c1 br 463 | outcome |
|---|---|---|---|
| 9484 | F | F | F |
| 10632 | F | F | F |
| 11723 | F | F | F |
| 72397 | F | F | F |
| 72398 | F | F | F |
| 75872 | F | F | F |
| 75873 | F | F | F |
Independent-effect pairs
c0(branch462): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc1(branch463): GAP view gap →scry_analyze_core::compute_bit_facts· br_if