Decision #49 — lib.rs:2077
Status: partial
Truth table
| row | c0 br 423 | c1 br 441 | c2 br 445 | c3 br 452 | c4 br 456 | outcome |
|---|---|---|---|---|---|---|
| 9475 | T | * | * | * | * | T |
| 10623 | T | * | * | * | * | T |
| 11714 | T | * | * | * | * | T |
| 40281 | F | F | T | * | F | F |
| 43249 | F | F | T | * | F | F |
| 46702 | F | F | T | * | F | F |
| 49821 | F | F | T | * | F | F |
| 72368 | T | * | * | * | * | T |
| 72369 | T | F | T | * | * | T |
| 72370 | * | F | T | * | * | T |
| 75843 | T | * | * | * | * | T |
| 75844 | T | F | T | * | * | T |
| 75845 | * | F | T | * | * | T |
| 80703 | T | * | * | * | * | T |
| 81890 | T | * | * | * | * | T |
| 82952 | T | * | * | * | * | T |
| 129943 | F | * | * | * | * | F |
| 131102 | F | * | * | * | * | F |
| 132429 | F | * | * | * | * | F |
Independent-effect pairs
All 5 conditions live in scry_analyze_core::compute_bit_facts — 5 br_if
c0(branch423): PROVED — pair rows9475,40281(masking)c1(branch441): GAP view gap →c2(branch445): GAP view gap →c3(branch452): DEAD view gap →c4(branch456): GAP view gap →