Decision #958 — binary_reader.rs:458
Status: no_witness
Truth table
| row | c0 br 6883 | c1 br 6884 | outcome |
|---|---|---|---|
| 103388 | T | F | T |
| 103389 | T | F | T |
| 107082 | T | F | T |
| 107083 | T | F | T |
| 109561 | T | F | T |
| 109562 | T | F | T |
| 112565 | T | F | T |
| 112566 | T | F | T |
| 115461 | T | F | T |
| 115462 | T | F | T |
Independent-effect pairs
c0(branch6883): GAP view gap →wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::globals::Global>>· br_ifc1(branch6884): GAP view gap →wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::globals::Global>>· br_if