Decision #999 — parser.rs:623
Status: no_witness
Truth table
| row | c0 br 7132 | c1 br 7134 | outcome |
|---|---|---|---|
| 98514 | T | * | T |
| 98515 | T | * | T |
| 100029 | T | * | T |
| 100030 | T | * | T |
| 101447 | T | * | T |
| 101448 | T | * | T |
| 103531 | * | T | T |
| 103532 | * | T | T |
| 107241 | * | T | T |
| 107242 | * | T | T |
| 109704 | * | T | T |
| 109705 | * | T | T |
| 112723 | * | T | T |
| 112724 | * | T | T |
| 115606 | * | T | T |
| 115607 | * | T | T |
Independent-effect pairs
c0(branch7132): GAP view gap →<wasmparser::parser::Parser>::parse_reader· br_ifc1(branch7134): GAP view gap →<wasmparser::parser::Parser>::parse_reader· br_if