Decision #1042 — binary_reader.rs:521
Status: no_witness
Truth table
| row | c0 br 6582 | c1 br 6584 | outcome |
|---|---|---|---|
| 2284 | T | F | F |
| 2285 | T | F | F |
| 9243 | T | F | F |
| 9244 | T | F | F |
| 16049 | T | F | F |
| 16050 | T | F | F |
Independent-effect pairs
c0(branch6582): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::tables::Table>>::{closure#0}>· br_ifc1(branch6584): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::tables::Table>>::{closure#0}>· br_if