Decision #710 — src/readers.rs:212
Status: no_witness
Truth table
| row | c0 br 4384 | c1 br 4385 | c2 br 4390 | c3 br 4391 | outcome |
|---|---|---|---|---|---|
| 1765 | F | T | * | * | T |
| 1766 | F | T | * | * | T |
| 8725 | F | T | * | * | T |
| 8726 | F | T | * | * | T |
| 15530 | F | T | * | * | T |
| 15531 | F | T | * | * | T |
| 21875 | F | T | * | * | T |
| 24618 | F | T | * | * | T |
| 27261 | F | T | * | * | T |
| 30990 | F | T | * | * | T |
| 51845 | F | T | * | * | T |
| 72763 | F | T | * | * | T |
| 82646 | F | T | * | * | T |
| 92497 | F | T | * | * | T |
| 92498 | F | T | * | * | T |
| 100328 | F | T | * | * | T |
| 100329 | F | T | * | * | T |
| 108817 | F | T | * | * | T |
| 108818 | F | T | * | * | T |
| 116841 | F | T | * | * | T |
| 116842 | F | T | * | * | T |
| 124730 | F | T | * | * | T |
| 141449 | F | T | * | * | T |
| 159098 | F | T | * | * | T |
| 168956 | F | T | * | * | T |
| 176845 | F | T | * | * | T |
| 181372 | F | T | * | * | T |
| 184691 | F | T | * | * | T |
| 187799 | F | T | * | * | T |
| 191429 | F | T | * | * | T |
| 197206 | F | T | * | * | T |
| 203487 | F | T | * | * | T |
| 208530 | F | T | * | * | T |
| 216059 | F | T | * | * | T |
| 224466 | F | T | * | * | T |
| 301843 | F | T | * | * | T |
| 377233 | F | T | * | * | T |
| 379890 | F | T | * | * | T |
| 382774 | F | T | * | * | T |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::analyze — 4 br_if
c0(branch4384): GAP view gap →c1(branch4385): GAP view gap →c2(branch4390): DEAD view gap →c3(branch4391): DEAD view gap →