Decision #813 — binary_reader.rs:443
Status: no_witness
Truth table
| row | c0 br 5380 | c1 br 5381 | c2 br 5382 | c3 br 5384 | c4 br 5385 | outcome |
|---|---|---|---|---|---|---|
| 1843 | F | F | F | F | F | T |
| 1844 | F | F | F | F | F | T |
| 5634 | F | F | F | F | F | T |
| 5635 | F | F | F | F | F | T |
| 9415 | F | F | F | F | F | T |
| 9416 | F | F | F | F | F | T |
| 12316 | F | F | F | F | F | T |
| 12317 | F | F | F | F | F | T |
| 13690 | F | F | F | F | F | T |
| 13691 | F | F | F | F | F | T |
| 15017 | F | F | F | F | F | T |
| 15018 | F | F | F | F | F | T |
| 22418 | F | F | F | F | F | T |
| 22419 | F | F | F | F | F | T |
| 31896 | F | F | F | F | F | T |
| 31897 | F | F | F | F | F | T |
| 38217 | F | F | F | F | F | T |
| 38218 | F | F | F | F | F | T |
| 44430 | F | F | F | F | F | T |
| 44431 | F | F | F | F | F | T |
| 49034 | F | F | F | F | F | T |
| 49035 | F | F | F | F | F | T |
| 53235 | F | F | F | F | F | T |
| 53236 | F | F | F | F | F | T |
| 57765 | F | F | F | F | F | T |
| 57766 | F | F | F | F | F | T |
| 61958 | F | F | F | F | F | T |
| 61959 | F | F | F | F | F | T |
| 72538 | F | F | F | F | F | T |
| 72539 | F | F | F | F | F | T |
| 84051 | F | F | F | F | F | T |
| 84052 | F | F | F | F | F | T |
| 89536 | F | F | F | F | F | T |
| 89537 | F | F | F | F | F | T |
| 93804 | F | F | F | F | F | T |
| 93805 | F | F | F | F | F | T |
| 96584 | F | F | F | F | F | T |
| 96585 | F | F | F | F | F | T |
| 98367 | F | F | F | F | F | T |
| 98368 | F | F | F | F | F | T |
| 99882 | F | F | F | F | F | T |
| 99883 | F | F | F | F | F | T |
| 101300 | F | F | F | F | F | T |
| 101301 | F | F | F | F | F | T |
| 103335 | F | F | F | F | F | T |
| 103336 | F | F | F | F | F | T |
| 106987 | F | F | F | F | F | T |
| 106988 | F | F | F | F | F | T |
| 109516 | F | F | F | F | F | T |
| 109517 | F | F | F | F | F | T |
| 112452 | F | F | F | F | F | T |
| 112453 | F | F | F | F | F | T |
| 115389 | F | F | F | F | F | T |
| 115390 | F | F | F | F | F | T |
| 135250 | F | F | F | F | F | T |
| 135251 | F | F | F | F | F | T |
| 158186 | F | F | F | F | F | T |
| 158187 | F | F | F | F | F | T |
| 163644 | F | F | F | F | F | T |
| 163645 | F | F | F | F | F | T |
| 165225 | F | F | F | F | F | T |
| 165226 | F | F | F | F | F | T |
| 166945 | F | F | F | F | F | T |
| 166946 | F | F | F | F | F | T |
Independent-effect pairs
All 5 conditions live in <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<u32>>::{closure#0}> — 5 br_if
c0(branch5380): GAP view gap →c1(branch5381): GAP view gap →c2(branch5382): GAP view gap →c3(branch5384): GAP view gap →c4(branch5385): GAP view gap →