Decision #308 — src/lib.rs:130
Status: no_witness
Truth table
| row | c0 br 1812 | c1 br 1813 | c2 br 1814 | c3 br 1815 | c4 br 1816 | c5 br 1817 | outcome |
|---|---|---|---|---|---|---|---|
| 16072 | F | T | * | * | * | * | T |
| 25552 | F | T | * | * | * | * | T |
| 117521 | F | T | * | * | * | * | T |
| 140457 | F | T | * | * | * | * | T |
Independent-effect pairs
All 6 conditions live in scry_analyze_core::compute_bit_facts — 6 br_if
c0(branch1812): GAP view gap →c1(branch1813): GAP view gap →c2(branch1814): DEAD view gap →c3(branch1815): DEAD view gap →c4(branch1816): DEAD view gap →c5(branch1817): DEAD view gap →