Decision #954 — binary_reader.rs:458
Status: no_witness
Truth table
| row | c0 br 6861 | c1 br 6862 | outcome |
|---|---|---|---|
| 1909 | T | F | T |
| 1910 | T | F | T |
| 5700 | T | F | T |
| 5701 | T | F | T |
| 9481 | T | F | T |
| 9482 | T | F | T |
Independent-effect pairs
c0(branch6861): GAP view gap →wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::tables::Table>>· br_ifc1(branch6862): GAP view gap →wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::tables::Table>>· br_if