Decision #1239 — parser.rs:638
Status: no_witness
Truth table
| row | c0 br 8380 | c1 br 8382 | outcome |
|---|---|---|---|
| 2674 | F | * | F |
| 2675 | F | * | F |
| 9631 | F | * | F |
| 9632 | F | * | F |
| 16452 | F | * | F |
| 16453 | F | * | F |
| 22295 | F | * | F |
| 22296 | F | * | F |
| 25035 | F | * | F |
| 25036 | F | * | F |
| 27681 | F | * | F |
| 27682 | F | * | F |
| 39089 | F | * | F |
| 39090 | F | * | F |
| 59941 | F | * | F |
| 59942 | F | * | F |
| 75475 | F | * | F |
| 75476 | F | * | F |
| 85358 | F | * | F |
| 85359 | F | * | F |
| 93628 | F | * | F |
| 93629 | F | * | F |
| 101469 | F | * | F |
| 101470 | F | * | F |
| 109953 | F | * | F |
| 109954 | F | * | F |
| 117972 | F | * | F |
| 117973 | F | * | F |
| 132446 | F | * | F |
| 132447 | F | * | F |
| 149165 | F | * | F |
| 149166 | F | * | F |
| 160183 | F | * | F |
| 160184 | F | * | F |
| 170041 | F | * | F |
| 170042 | F | * | F |
| 177289 | F | * | F |
| 177290 | F | * | F |
| 181806 | F | * | F |
| 181807 | F | * | F |
| 185122 | F | * | F |
| 185123 | F | * | F |
| 188233 | F | * | F |
| 188234 | F | * | F |
| 192299 | F | * | F |
| 192300 | F | * | F |
| 198318 | F | * | F |
| 198319 | F | * | F |
| 204153 | F | * | F |
| 204154 | F | * | F |
| 209427 | F | * | F |
| 209428 | F | * | F |
| 217097 | F | * | F |
| 217098 | F | * | F |
| 252914 | F | * | F |
| 252915 | F | * | F |
| 330291 | F | * | F |
| 330292 | F | * | F |
| 377728 | F | * | F |
| 377729 | F | * | F |
| 380389 | F | * | F |
| 380390 | F | * | F |
| 383270 | F | * | F |
| 383271 | F | * | F |
Independent-effect pairs
c0(branch8380): GAP view gap →<wasmparser::parser::Parser>::parse_reader· br_ifc1(branch8382): DEAD view gap →<wasmparser::parser::Parser>::parse_reader· br_if