Decision #1073 — readers.rs:102
Status: no_witness
Truth table
| row | c0 br 7505 | c1 br 7506 | c2 br 7507 | c3 br 7508 | outcome |
|---|---|---|---|---|---|
| 2194 | F | F | F | T | T |
| 5985 | F | F | F | T | T |
| 9766 | F | F | F | T | T |
Independent-effect pairs
All 4 conditions live in <wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader — 4 br_if
c0(branch7505): GAP view gap →c1(branch7506): GAP view gap →c2(branch7507): GAP view gap →c3(branch7508): GAP view gap →