Decision #998 — parser.rs:402
Status: no_witness
Truth table
| row | c0 br 7129 | c1 br 7130 | c2 br 7131 | outcome |
|---|---|---|---|---|
| 2093 | F | T | * | T |
| 2094 | F | T | * | T |
| 5884 | F | T | * | T |
| 5885 | F | T | * | T |
| 9665 | F | T | * | T |
| 9666 | F | T | * | T |
| 98512 | * | * | F | T |
| 98513 | * | * | F | T |
| 100027 | * | * | F | T |
| 100028 | * | * | F | T |
| 101445 | * | * | F | T |
| 101446 | * | * | F | T |
Independent-effect pairs
All 3 conditions live in <wasmparser::parser::Parser>::parse_reader — 3 br_if
c0(branch7129): GAP view gap →c1(branch7130): GAP view gap →c2(branch7131): GAP view gap →