Decision #828 — binary_reader.rs:1012
Status: no_witness
Truth table
| row | c0 br 5484 | c1 br 5485 | c2 br 5486 | c3 br 5488 | outcome |
|---|---|---|---|---|---|
| 1862 | F | T | F | T | T |
| 1863 | F | T | F | T | T |
| 1864 | F | T | F | T | T |
| 1865 | F | T | F | T | T |
| 5653 | F | T | F | T | T |
| 5654 | F | T | F | T | T |
| 5655 | F | T | F | T | T |
| 5656 | F | T | F | T | T |
| 9434 | F | T | F | T | T |
| 9435 | F | T | F | T | T |
| 9436 | F | T | F | T | T |
| 9437 | F | T | F | T | T |
| 12320 | F | T | F | T | T |
| 12321 | F | T | F | T | T |
| 13694 | F | T | F | T | T |
| 13695 | F | T | F | T | T |
| 15021 | F | T | F | T | T |
| 15022 | F | T | F | T | T |
| 22422 | F | T | F | T | T |
| 22423 | F | T | F | T | T |
| 31900 | F | T | F | T | T |
| 31901 | F | T | F | T | T |
| 38221 | F | T | F | T | T |
| 38222 | F | T | F | T | T |
| 44434 | F | T | F | T | T |
| 44435 | F | T | F | T | T |
| 49047 | F | T | F | T | T |
| 49048 | F | T | F | T | T |
| 49049 | F | T | F | T | T |
| 49050 | F | T | F | T | T |
| 53248 | F | T | F | T | T |
| 53249 | F | T | F | T | T |
| 53250 | F | T | F | T | T |
| 53251 | F | T | F | T | T |
| 57778 | F | T | F | T | T |
| 57779 | F | T | F | T | T |
| 57780 | F | T | F | T | T |
| 57781 | F | T | F | T | T |
| 61971 | F | T | F | T | T |
| 61972 | F | T | F | T | T |
| 61973 | F | T | F | T | T |
| 61974 | F | T | F | T | T |
| 72542 | F | T | F | T | T |
| 72543 | F | T | F | T | T |
| 84055 | F | T | F | T | T |
| 84056 | F | T | F | T | T |
| 89550 | F | T | F | T | T |
| 89551 | F | T | F | T | T |
| 93818 | F | T | F | T | T |
| 93819 | F | T | F | T | T |
| 96597 | F | T | F | T | T |
| 96598 | F | T | F | T | T |
| 98371 | F | T | F | T | T |
| 98372 | F | T | F | T | T |
| 99886 | F | T | F | T | T |
| 99887 | F | T | F | T | T |
| 101304 | F | T | F | T | T |
| 101305 | F | T | F | T | T |
| 103347 | F | T | F | T | T |
| 103348 | F | T | F | T | T |
| 107003 | F | T | F | T | T |
| 107004 | F | T | F | T | T |
| 109528 | F | T | F | T | T |
| 109529 | F | T | F | T | T |
| 112470 | F | T | F | T | T |
| 112471 | F | T | F | T | T |
| 115401 | F | T | F | T | T |
| 115402 | F | T | F | T | T |
| 135254 | F | T | F | T | T |
| 135255 | F | T | F | T | T |
| 158190 | F | T | F | T | T |
| 158191 | F | T | F | T | T |
| 163648 | F | T | F | T | T |
| 163649 | F | T | F | T | T |
| 165229 | F | T | F | T | T |
| 165230 | F | T | F | T | T |
| 166949 | F | T | F | T | T |
| 166950 | F | T | F | T | T |
Independent-effect pairs
All 4 conditions live in <wasmparser::binary_reader::BinaryReader>::read_size — 4 br_if
c0(branch5484): GAP view gap →c1(branch5485): GAP view gap →c2(branch5486): GAP view gap →c3(branch5488): GAP view gap →