Decision #582 — src/readers.rs:212
Status: no_witness
Truth table
| row | c0 br 3562 | c1 br 3579 | c2 br 3580 | c3 br 3581 | c4 br 3582 | c5 br 3583 | c6 br 3591 | outcome |
|---|---|---|---|---|---|---|---|---|
| 1040 | T | F | * | F | T | F | * | T |
| 1041 | T | T | F | F | T | F | * | T |
| 4833 | T | F | * | F | T | F | * | T |
| 4834 | T | T | F | F | T | F | * | T |
| 8568 | T | F | * | F | T | F | * | T |
| 8569 | T | T | F | F | T | F | * | T |
| 11996 | T | F | * | F | T | F | * | T |
| 13372 | T | F | * | F | T | F | * | T |
| 14697 | T | F | * | F | T | F | * | T |
| 16627 | T | T | F | F | T | F | * | T |
| 26107 | T | T | F | F | T | F | * | T |
| 35729 | T | F | * | F | T | F | * | T |
| 41942 | T | F | * | F | T | F | * | T |
| 48075 | T | T | F | F | T | F | * | T |
| 48076 | T | F | * | F | T | F | F | T |
| 52246 | T | T | F | F | T | F | * | T |
| 52247 | T | F | * | F | T | F | F | T |
| 56784 | T | T | F | F | T | F | * | T |
| 56785 | T | F | * | F | T | F | F | T |
| 60999 | T | T | F | F | T | F | * | T |
| 61000 | T | F | * | F | T | F | F | T |
| 65223 | T | T | F | F | T | F | * | T |
| 76736 | T | T | F | F | T | F | * | T |
| 88509 | T | F | * | F | T | F | * | T |
| 92777 | T | F | * | F | T | F | * | T |
| 96193 | T | F | * | F | F | * | F | T |
| 98057 | T | F | * | F | T | F | * | T |
| 99574 | T | F | * | F | T | F | * | T |
| 100990 | T | F | * | F | T | F | * | T |
| 102715 | T | T | F | F | T | F | F | T |
| 106029 | T | F | * | F | T | F | F | T |
| 109061 | T | T | F | F | T | F | F | T |
| 111803 | T | F | * | F | T | F | F | T |
| 114658 | T | T | F | F | T | F | F | T |
| 118687 | T | F | * | F | T | F | * | T |
| 141623 | T | F | * | F | T | F | * | T |
| 163276 | T | T | F | F | T | F | * | T |
| 164847 | T | T | F | F | T | F | * | T |
| 166569 | T | T | F | F | T | F | * | T |
Independent-effect pairs
All 7 conditions live in scry_analyze_core::analyze — 7 br_if
c0(branch3562): GAP view gap →c1(branch3579): GAP view gap →c2(branch3580): GAP view gap →c3(branch3581): GAP view gap →c4(branch3582): GAP view gap →c5(branch3583): GAP view gap →c6(branch3591): GAP view gap →