Decision #1193 — parser.rs:1231
Status: no_witness
Truth table
| row | c0 br 8132 | c1 br 8133 | outcome |
|---|---|---|---|
| 192112 | F | * | F |
| 192113 | F | * | F |
| 198073 | F | * | F |
| 198074 | F | * | F |
| 203968 | F | * | F |
| 203969 | F | * | F |
| 209193 | F | * | F |
| 209194 | F | * | F |
| 216874 | F | * | F |
| 216875 | F | * | F |
Independent-effect pairs
c0(branch8132): GAP view gap →wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::globals::Global>>· br_ifc1(branch8133): DEAD view gap →wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::globals::Global>>· br_if