Decision #803 — binary_reader.rs:517
Status: no_witness
Truth table
| row | c0 br 5338 | c1 br 5340 | c2 br 5342 | c3 br 5343 | outcome |
|---|---|---|---|---|---|
| 1829 | F | F | F | F | T |
| 1830 | F | F | F | F | T |
| 5620 | F | F | F | F | T |
| 5621 | F | F | F | F | T |
| 9401 | F | F | F | F | T |
| 9402 | F | F | F | F | T |
| 12310 | F | F | F | F | T |
| 12311 | F | F | F | F | T |
| 13684 | F | F | F | F | T |
| 13685 | F | F | F | F | T |
| 15011 | F | F | F | F | T |
| 15012 | F | F | F | F | T |
| 22412 | F | F | F | F | T |
| 22413 | F | F | F | F | T |
| 31890 | F | F | F | F | T |
| 31891 | F | F | F | F | T |
| 38211 | F | F | F | F | T |
| 38212 | F | F | F | F | T |
| 44424 | F | F | F | F | T |
| 44425 | F | F | F | F | T |
| 49028 | F | F | F | F | T |
| 49029 | F | F | F | F | T |
| 53229 | F | F | F | F | T |
| 53230 | F | F | F | F | T |
| 57759 | F | F | F | F | T |
| 57760 | F | F | F | F | T |
| 61952 | F | F | F | F | T |
| 61953 | F | F | F | F | T |
| 72532 | F | F | F | F | T |
| 72533 | F | F | F | F | T |
| 84045 | F | F | F | F | T |
| 84046 | F | F | F | F | T |
| 89530 | F | F | F | F | T |
| 89531 | F | F | F | F | T |
| 93798 | F | F | F | F | T |
| 93799 | F | F | F | F | T |
| 96578 | F | F | F | F | T |
| 96579 | F | F | F | F | T |
| 98361 | F | F | F | F | T |
| 98362 | F | F | F | F | T |
| 99876 | F | F | F | F | T |
| 99877 | F | F | F | F | T |
| 101294 | F | F | F | F | T |
| 101295 | F | F | F | F | T |
| 103327 | F | F | F | F | T |
| 103328 | F | F | F | F | T |
| 106979 | F | F | F | F | T |
| 106980 | F | F | F | F | T |
| 109508 | F | F | F | F | T |
| 109509 | F | F | F | F | T |
| 112444 | F | F | F | F | T |
| 112445 | F | F | F | F | T |
| 115381 | F | F | F | F | T |
| 115382 | F | F | F | F | T |
| 135244 | F | F | F | F | T |
| 135245 | F | F | F | F | T |
| 158180 | F | F | F | F | T |
| 158181 | F | F | F | F | T |
| 163638 | F | F | F | F | T |
| 163639 | F | F | F | F | T |
| 165219 | F | F | F | F | T |
| 165220 | F | F | F | F | T |
| 166939 | F | F | F | F | T |
| 166940 | F | F | F | F | T |
Independent-effect pairs
All 4 conditions live in <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::RecGroup>>::{closure#0}> — 4 br_if
c0(branch5338): GAP view gap →c1(branch5340): GAP view gap →c2(branch5342): GAP view gap →c3(branch5343): GAP view gap →