Decision #586 — src/readers.rs:213
Status: no_witness
Truth table
| row | c0 br 3669 | c1 br 3670 | c2 br 3692 | c3 br 3693 | outcome |
|---|---|---|---|---|---|
| 1046 | F | T | F | T | T |
| 1047 | F | T | * | * | T |
| 1048 | T | * | * | * | T |
| 4839 | F | T | F | T | T |
| 4840 | F | T | * | * | T |
| 4841 | T | * | * | * | T |
| 8574 | F | T | F | T | T |
| 8575 | F | T | * | * | T |
| 8576 | T | * | * | * | T |
| 11998 | F | T | * | * | T |
| 11999 | T | * | * | * | T |
| 13374 | F | T | * | * | T |
| 13375 | T | * | * | * | T |
| 14699 | F | T | * | * | T |
| 14700 | T | * | * | * | T |
| 16629 | F | T | * | * | T |
| 16630 | T | * | * | * | T |
| 26109 | F | T | * | * | T |
| 26110 | T | * | * | * | T |
| 35731 | F | T | * | * | T |
| 35732 | T | * | * | * | T |
| 41944 | F | T | * | * | T |
| 41945 | T | * | * | * | T |
| 48078 | F | T | * | * | T |
| 48079 | F | T | * | * | T |
| 48080 | T | * | * | * | T |
| 52249 | F | T | * | * | T |
| 52250 | F | T | * | * | T |
| 52251 | T | * | * | * | T |
| 56787 | F | T | * | * | T |
| 56788 | F | T | * | * | T |
| 56789 | T | * | * | * | T |
| 61002 | F | T | * | * | T |
| 61003 | F | T | * | * | T |
| 61004 | T | * | * | * | T |
| 65225 | F | T | * | * | T |
| 65226 | T | * | * | * | T |
| 76738 | F | T | * | * | T |
| 76739 | T | * | * | * | T |
| 88511 | F | T | * | * | T |
| 88512 | F | T | * | * | T |
| 88513 | F | T | * | * | T |
| 88514 | F | T | * | * | T |
| 88515 | F | T | * | * | T |
| 88516 | F | T | * | * | T |
| 88517 | T | * | * | * | T |
| 92779 | F | T | * | * | T |
| 92780 | F | T | * | * | T |
| 92781 | F | T | * | * | T |
| 92782 | F | T | * | * | T |
| 92783 | F | T | * | * | T |
| 92784 | F | T | * | * | T |
| 92785 | T | * | * | * | T |
| 96195 | F | T | * | * | T |
| 96196 | T | * | * | * | T |
| 98059 | F | T | * | * | T |
| 98060 | T | * | * | * | T |
| 99576 | F | T | * | * | T |
| 99577 | T | * | * | * | T |
| 100992 | F | T | * | * | T |
| 100993 | T | * | * | * | T |
| 102717 | F | T | * | * | T |
| 102718 | T | * | * | * | T |
| 106031 | F | T | * | * | T |
| 106032 | T | * | * | * | T |
| 109063 | F | T | * | * | T |
| 109064 | T | * | * | * | T |
| 111805 | F | T | * | * | T |
| 111806 | F | T | * | * | T |
| 111807 | F | T | * | * | T |
| 111808 | T | * | * | * | T |
| 114660 | F | T | * | * | T |
| 114661 | T | * | * | * | T |
| 118689 | F | T | * | * | T |
| 118690 | T | * | * | * | T |
| 141625 | F | T | * | * | T |
| 141626 | T | * | * | * | T |
| 163278 | F | T | * | * | T |
| 163279 | T | * | * | * | T |
| 164849 | F | T | * | * | T |
| 164850 | T | * | * | * | T |
| 166571 | F | T | * | * | T |
| 166572 | T | * | * | * | T |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::analyze — 4 br_if
c0(branch3669): GAP view gap →c1(branch3670): GAP view gap →c2(branch3692): GAP view gap →c3(branch3693): GAP view gap →