Decision #346 — lib.rs:4560
Status: no_witness
Truth table
| row | c0 br 2273 | c1 br 2275 | outcome |
|---|---|---|---|
| 21516 | F | F | T |
| 24259 | F | F | T |
| 26902 | F | F | T |
| 157596 | F | F | T |
| 157597 | F | F | T |
| 167454 | F | F | T |
| 167455 | F | F | T |
Independent-effect pairs
c0(branch2273): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc1(branch2275): GAP view gap →scry_analyze_core::compute_bit_facts· br_if