Decision #1046 — binary_reader.rs:420
Status: no_witness
Truth table
| row | c0 br 6598 | c1 br 6599 | c2 br 6600 | outcome |
|---|---|---|---|---|
| 192051 | F | F | T | T |
| 192052 | F | F | T | T |
| 197956 | F | F | T | T |
| 197957 | F | F | T | T |
| 203917 | F | F | T | T |
| 203918 | F | F | T | T |
| 209047 | F | F | T | T |
| 209048 | F | F | T | T |
| 216782 | F | F | T | T |
| 216783 | F | F | T | T |
Independent-effect pairs
c0(branch6598): 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:443c1(branch6599): 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:443c2(branch6600): 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