Decision #309 — lib.rs:4355
Status: no_witness
Truth table
| row | c0 br 1839 | c1 br 1840 | c2 br 1845 | outcome |
|---|---|---|---|---|
| 47331 | F | F | F | F |
| 47332 | F | F | F | F |
| 51459 | F | F | F | F |
| 51460 | F | F | F | F |
| 55997 | F | F | F | F |
| 55998 | F | F | F | F |
| 60255 | F | F | F | F |
| 60256 | F | F | F | F |
| 163066 | F | F | F | F |
| 164621 | F | F | F | F |
| 166343 | F | F | F | F |
Independent-effect pairs
All 3 conditions live in <scry_bits::BitsCong>::reduce — 3 br_if
c0(branch1839): GAP view gap →c1(branch1840): GAP view gap →c2(branch1845): GAP view gap →