Decision #307 — src/lib.rs:429
Status: no_witness
Truth table
| row | c0 br 1806 | c1 br 1807 | c2 br 1808 | c3 br 1809 | c4 br 1810 | c5 br 1811 | outcome |
|---|---|---|---|---|---|---|---|
| 16071 | F | F | F | F | T | * | T |
| 25551 | F | F | F | F | T | * | T |
| 117520 | F | F | F | F | T | * | T |
| 140456 | F | F | F | F | T | * | T |
Independent-effect pairs
All 6 conditions live in scry_analyze_core::compute_bit_facts — 6 br_if
c0(branch1806): GAP view gap →c1(branch1807): GAP view gap →c2(branch1808): GAP view gap →c3(branch1809): GAP view gap →c4(branch1810): GAP view gap →c5(branch1811): DEAD view gap →