Decision #1047 — binary_reader.rs:93
Status: no_witness
Truth table
| row | c0 br 6601 | c1 br 6602 | outcome |
|---|---|---|---|
| 192053 | F | F | F |
| 192054 | F | F | F |
| 197958 | F | F | F |
| 197959 | F | F | F |
| 203919 | F | F | F |
| 203920 | F | F | F |
| 209049 | F | F | F |
| 209050 | F | F | F |
| 216784 | F | F | F |
| 216785 | F | F | F |
Independent-effect pairs
c0(branch6601): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::globals::Global>>::{closure#0}>· br_if
inlined: imports.rs:180 ← binary_reader.rs:443 ← binary_reader.rs:422c1(branch6602): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::globals::Global>>::{closure#0}>· br_if
inlined: imports.rs:180 ← binary_reader.rs:443 ← binary_reader.rs:422