Decision #948 — binary_reader.rs:458
Status: no_witness
Truth table
| row | c0 br 6828 | c1 br 6829 | outcome |
|---|---|---|---|
| 98388 | T | F | T |
| 98389 | T | F | T |
| 99903 | T | F | T |
| 99904 | T | F | T |
| 101321 | T | F | T |
| 101322 | T | F | T |
Independent-effect pairs
c0(branch6828): GAP view gap →wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::MemoryType>>· br_ifc1(branch6829): GAP view gap →wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::MemoryType>>· br_if