Decision #808 — binary_reader.rs:536
Status: no_witness
Truth table
| row | c0 br 5360 | c1 br 5361 | c2 br 5362 | c3 br 5363 | c4 br 5364 | outcome |
|---|---|---|---|---|---|---|
| 103333 | F | F | T | F | F | T |
| 103334 | F | F | T | F | F | T |
| 106985 | F | F | T | F | F | T |
| 106986 | F | F | T | F | F | T |
| 109514 | F | F | T | F | F | T |
| 109515 | F | F | T | F | F | T |
| 112450 | F | F | T | F | F | T |
| 112451 | F | F | T | F | F | T |
| 115387 | F | F | T | F | F | T |
| 115388 | F | F | T | F | F | T |
Independent-effect pairs
All 5 conditions live in <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::globals::Global>>::{closure#0}> — 5 br_if
c0(branch5360): GAP view gap →c1(branch5361): GAP view gap →c2(branch5362): GAP view gap →c3(branch5363): GAP view gap →c4(branch5364): GAP view gap →