Decision #993 — parser.rs:756
Status: no_witness
Truth table
| row | c0 br 7071 | c1 br 7072 | outcome |
|---|---|---|---|
| 2053 | * | T | T |
| 2054 | * | T | T |
| 5844 | * | T | T |
| 5845 | * | T | T |
| 9625 | * | T | T |
| 9626 | * | T | T |
| 12417 | * | T | T |
| 12418 | * | T | T |
| 13791 | * | T | T |
| 13792 | * | T | T |
| 15118 | * | T | T |
| 15119 | * | T | T |
| 22549 | * | T | T |
| 22550 | * | T | T |
| 32027 | * | T | T |
| 32028 | * | T | T |
| 38346 | * | T | T |
| 38347 | * | T | T |
| 44559 | * | T | T |
| 44560 | * | T | T |
| 49198 | * | T | T |
| 49199 | * | T | T |
| 53399 | * | T | T |
| 53400 | * | T | T |
| 57929 | * | T | T |
| 57930 | * | T | T |
| 62122 | * | T | T |
| 62123 | * | T | T |
| 72669 | * | T | T |
| 72670 | * | T | T |
| 84182 | * | T | T |
| 84183 | * | T | T |
| 89710 | * | T | T |
| 89711 | * | T | T |
| 93978 | * | T | T |
| 93979 | * | T | T |
| 96715 | * | T | T |
| 96716 | * | T | T |
| 98484 | * | T | T |
| 98485 | * | T | T |
| 99999 | * | T | T |
| 100000 | * | T | T |
| 101417 | * | T | T |
| 101418 | * | T | T |
| 103499 | * | T | T |
| 103500 | * | T | T |
| 107205 | * | T | T |
| 107206 | * | T | T |
| 109672 | * | T | T |
| 109673 | * | T | T |
| 112689 | * | T | T |
| 112690 | * | T | T |
| 115574 | * | T | T |
| 115575 | * | T | T |
| 135385 | * | T | T |
| 135386 | * | T | T |
| 158321 | * | T | T |
| 158322 | * | T | T |
| 163742 | * | T | T |
| 163743 | * | T | T |
| 165323 | * | T | T |
| 165324 | * | T | T |
| 167043 | * | T | T |
| 167044 | * | T | T |
Independent-effect pairs
c0(branch7071): DEAD view gap →<wasmparser::parser::Parser>::parse_reader· br_ifc1(branch7072): GAP view gap →<wasmparser::parser::Parser>::parse_reader· br_if