Decision #1097 — binary_reader.rs:1247
Status: no_witness
Truth table
| row | c0 br 7164 | c1 br 7165 | c2 br 7166 | c3 br 7167 | c4 br 7168 | outcome |
|---|---|---|---|---|---|---|
| 2355 | F | T | F | T | * | T |
| 9314 | F | T | F | T | * | T |
| 16120 | F | T | F | T | * | T |
Independent-effect pairs
All 5 conditions live in <wasmparser::readers::core::types::HeapType as wasmparser::readers::FromReader>::from_reader — 5 br_if
c0(branch7164): GAP view gap →c1(branch7165): GAP view gap →c2(branch7166): GAP view gap →c3(branch7167): GAP view gap →c4(branch7168): DEAD view gap →