Decision #800 — binary_reader.rs:369
Status: no_witness
Truth table
| row | c0 br 5324 | c1 br 5325 | outcome |
|---|---|---|---|
| 98357 | F | F | F |
| 98358 | F | F | F |
| 99872 | F | F | F |
| 99873 | F | F | F |
| 101290 | F | F | F |
| 101291 | F | F | F |
Independent-effect pairs
c0(branch5324): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::MemoryType>>::{closure#0}>· br_ifc1(branch5325): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::MemoryType>>::{closure#0}>· br_if