Decision #714 — src/readers.rs:213
Status: no_witness
Truth table
| row | c0 br 4471 | c1 br 4472 | c2 br 4485 | c3 br 4486 | c4 br 4487 | outcome |
|---|---|---|---|---|---|---|
| 1770 | * | * | F | T | * | T |
| 1771 | * | * | F | T | * | T |
| 1772 | T | F | F | F | T | T |
| 8730 | * | * | F | T | * | T |
| 8731 | * | * | F | T | * | T |
| 8732 | T | F | F | F | T | T |
| 15535 | * | * | F | T | * | T |
| 15536 | * | * | F | T | * | T |
| 15537 | T | F | F | F | T | T |
| 21876 | * | * | F | T | * | T |
| 21877 | * | * | F | F | T | T |
| 24619 | * | * | F | T | * | T |
| 24620 | * | * | F | F | T | T |
| 27262 | * | * | F | T | * | T |
| 27263 | * | * | F | F | T | T |
| 30991 | * | * | F | T | * | T |
| 30992 | * | * | F | F | T | T |
| 51846 | * | * | F | T | * | T |
| 51847 | * | * | F | F | T | T |
| 72764 | * | * | F | T | * | T |
| 72765 | * | * | F | F | T | T |
| 82647 | * | * | F | T | * | T |
| 82648 | * | * | F | F | T | T |
| 92503 | * | * | F | T | * | T |
| 92504 | * | * | F | T | * | T |
| 92505 | * | * | F | F | T | T |
| 100334 | * | * | F | T | * | T |
| 100335 | * | * | F | T | * | T |
| 100336 | * | * | F | F | T | T |
| 108823 | * | * | F | T | * | T |
| 108824 | * | * | F | T | * | T |
| 108825 | * | * | F | F | T | T |
| 116847 | * | * | F | T | * | T |
| 116848 | * | * | F | T | * | T |
| 116849 | * | * | F | F | T | T |
| 124731 | * | * | F | T | * | T |
| 124732 | * | * | F | F | T | T |
| 141450 | * | * | F | T | * | T |
| 141451 | * | * | F | F | T | T |
| 159099 | * | * | F | T | * | T |
| 159100 | * | * | F | T | * | T |
| 159101 | * | * | F | T | * | T |
| 159102 | * | * | F | T | * | T |
| 159103 | * | * | F | T | * | T |
| 159104 | * | * | F | T | * | T |
| 159105 | * | * | F | F | T | T |
| 168957 | * | * | F | T | * | T |
| 168958 | * | * | F | T | * | T |
| 168959 | * | * | F | T | * | T |
| 168960 | * | * | F | T | * | T |
| 168961 | * | * | F | T | * | T |
| 168962 | * | * | F | T | * | T |
| 168963 | * | * | F | F | T | T |
| 176850 | * | * | F | T | * | T |
| 176851 | * | * | F | F | T | T |
| 181373 | * | * | F | T | * | T |
| 181374 | * | * | F | F | T | T |
| 184692 | * | * | F | T | * | T |
| 184693 | * | * | F | F | T | T |
| 187800 | * | * | F | T | * | T |
| 187801 | * | * | F | F | T | T |
| 191432 | * | * | F | T | * | T |
| 191433 | * | * | F | F | T | T |
| 197211 | * | * | F | T | * | T |
| 197212 | * | * | F | F | T | T |
| 203490 | * | * | F | T | * | T |
| 203491 | * | * | F | F | T | T |
| 208534 | * | * | F | T | * | T |
| 208535 | * | * | F | T | * | T |
| 208536 | * | * | F | T | * | T |
| 208537 | * | * | F | F | T | T |
| 216062 | * | * | F | T | * | T |
| 216063 | * | * | F | F | T | T |
| 224467 | * | * | F | T | * | T |
| 224468 | * | * | F | F | T | T |
| 301844 | * | * | F | T | * | T |
| 301845 | * | * | F | F | T | T |
| 377234 | * | * | F | T | * | T |
| 377235 | * | * | F | F | T | T |
| 379891 | * | * | F | T | * | T |
| 379892 | * | * | F | F | T | T |
| 382775 | * | * | F | T | * | T |
| 382776 | * | * | F | F | T | T |
Independent-effect pairs
All 5 conditions live in scry_analyze_core::analyze — 5 br_if
c0(branch4471): GAP view gap →c1(branch4472): GAP view gap →c2(branch4485): GAP view gap →c3(branch4486): GAP view gap →c4(branch4487): GAP view gap →