Decision #708 — src/readers.rs:202
Status: no_witness
Truth table
| row | c0 br 4373 | c1 br 4375 | outcome |
|---|---|---|---|
| 1758 | T | * | T |
| 1759 | T | * | T |
| 1760 | T | T | T |
| 8718 | T | * | T |
| 8719 | T | * | T |
| 8720 | T | T | T |
| 15523 | T | * | T |
| 15524 | T | * | T |
| 15525 | T | T | T |
| 21871 | T | * | T |
| 21872 | T | T | T |
| 24614 | T | * | T |
| 24615 | T | T | T |
| 27257 | T | * | T |
| 27258 | T | T | T |
| 30986 | T | * | T |
| 30987 | T | T | T |
| 51841 | T | * | T |
| 51842 | T | T | T |
| 72759 | T | * | T |
| 72760 | T | T | T |
| 82642 | T | * | T |
| 82643 | T | T | T |
| 92490 | T | * | T |
| 92491 | T | * | T |
| 92492 | T | T | T |
| 100321 | T | * | T |
| 100322 | T | * | T |
| 100323 | T | T | T |
| 108810 | T | * | T |
| 108811 | T | * | T |
| 108812 | T | T | T |
| 116834 | T | * | T |
| 116835 | T | * | T |
| 116836 | T | T | T |
| 124726 | T | * | T |
| 124727 | T | T | T |
| 141445 | T | * | T |
| 141446 | T | T | T |
| 159094 | T | * | T |
| 159095 | T | T | T |
| 168952 | T | * | T |
| 168953 | T | T | T |
| 176841 | T | * | T |
| 176842 | T | T | T |
| 181368 | T | * | T |
| 181369 | T | T | T |
| 184687 | T | * | T |
| 184688 | T | T | T |
| 187795 | T | * | T |
| 187796 | T | T | T |
| 191425 | T | * | T |
| 191426 | T | T | T |
| 197202 | T | * | T |
| 197203 | T | T | T |
| 203483 | T | * | T |
| 203484 | T | T | T |
| 208526 | T | * | T |
| 208527 | T | T | T |
| 216055 | T | * | T |
| 216056 | T | T | T |
| 224462 | T | * | T |
| 224463 | T | T | T |
| 301839 | T | * | T |
| 301840 | T | T | T |
| 377229 | T | * | T |
| 377230 | T | T | T |
| 379886 | T | * | T |
| 379887 | T | T | T |
| 382770 | T | * | T |
| 382771 | T | T | T |
Independent-effect pairs
c0(branch4373): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch4375): GAP view gap →scry_analyze_core::analyze· br_if