Decision #1675 — binary_reader.rs:1266
Status: partial
Truth table
| row | c0 br 7172 | c1 br 7173 | c2 br 7174 | c3 br 7175 | c4 br 7176 | outcome |
|---|
Independent-effect pairs
All 5 conditions live in <wasmparser::readers::core::types::HeapType as wasmparser::readers::FromReader>::from_reader — 1 br_table_default + 4 br_table_target
c0(branch7172): DEAD view gap →c1(branch7173): DEAD view gap →c2(branch7174): DEAD view gap →c3(branch7175): DEAD view gap →c4(branch7176): PROVED