Decision #590 — binary_reader.rs:517
Status: no_witness
Truth table
| row | c0 br 4482 | c1 br 4484 | c2 br 4485 | c3 br 4486 | outcome |
|---|---|---|---|---|---|
| 81016 | T | F | F | T | T |
| 81017 | T | F | F | T | T |
| 82203 | T | F | F | T | T |
| 82204 | T | F | F | T | T |
| 83265 | T | F | F | T | T |
| 83266 | T | F | F | T | T |
Independent-effect pairs
All 4 conditions live in wasmparser::binary_reader::BinaryReader::skip — 4 br_if
c0(branch4482): GAP view gap →c1(branch4484): GAP view gap →c2(branch4485): GAP view gap →c3(branch4486): GAP view gap →