Decision #709 — src/readers.rs:200
Status: no_witness
Truth table
| row | c0 br 4381 | c1 br 4382 | outcome |
|---|---|---|---|
| 1761 | F | T | T |
| 1762 | T | * | T |
| 1763 | F | T | T |
| 1764 | T | * | T |
| 8721 | F | T | T |
| 8722 | T | * | T |
| 8723 | F | T | T |
| 8724 | T | * | T |
| 15526 | F | T | T |
| 15527 | T | * | T |
| 15528 | F | T | T |
| 15529 | T | * | T |
| 21873 | F | T | T |
| 21874 | T | * | T |
| 24616 | F | T | T |
| 24617 | T | * | T |
| 27259 | F | T | T |
| 27260 | T | * | T |
| 30988 | F | T | T |
| 30989 | T | * | T |
| 51843 | F | T | T |
| 51844 | T | * | T |
| 72761 | F | T | T |
| 72762 | T | * | T |
| 82644 | F | T | T |
| 82645 | T | * | T |
| 92493 | F | T | T |
| 92494 | T | * | T |
| 92495 | F | T | T |
| 92496 | T | * | T |
| 100324 | F | T | T |
| 100325 | T | * | T |
| 100326 | F | T | T |
| 100327 | T | * | T |
| 108813 | F | T | T |
| 108814 | T | * | T |
| 108815 | F | T | T |
| 108816 | T | * | T |
| 116837 | F | T | T |
| 116838 | T | * | T |
| 116839 | F | T | T |
| 116840 | T | * | T |
| 124728 | F | T | T |
| 124729 | T | * | T |
| 141447 | F | T | T |
| 141448 | T | * | T |
| 159096 | F | T | T |
| 159097 | T | * | T |
| 168954 | F | T | T |
| 168955 | T | * | T |
| 176843 | F | T | T |
| 176844 | T | * | T |
| 181370 | F | T | T |
| 181371 | T | * | T |
| 184689 | F | T | T |
| 184690 | T | * | T |
| 187797 | F | T | T |
| 187798 | T | * | T |
| 191427 | F | T | T |
| 191428 | T | * | T |
| 197204 | F | T | T |
| 197205 | T | * | T |
| 203485 | F | T | T |
| 203486 | T | * | T |
| 208528 | F | T | T |
| 208529 | T | * | T |
| 216057 | F | T | T |
| 216058 | T | * | T |
| 224464 | F | T | T |
| 224465 | T | * | T |
| 301841 | F | T | T |
| 301842 | T | * | T |
| 377231 | F | T | T |
| 377232 | T | * | T |
| 379888 | F | T | T |
| 379889 | T | * | T |
| 382772 | F | T | T |
| 382773 | T | * | T |
Independent-effect pairs
c0(branch4381): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch4382): GAP view gap →scry_analyze_core::analyze· br_if