Decision #618 — parser.rs:683
Status: no_witness
Truth table
| row | c0 br 4574 | c1 br 4575 | outcome |
|---|---|---|---|
| 84542 | F | F | F |
| 84543 | F | F | F |
| 86392 | F | F | F |
| 86393 | F | F | F |
| 87873 | F | F | F |
| 87874 | F | F | F |
| 89730 | F | F | F |
| 89731 | F | F | F |
| 91276 | F | F | F |
| 91277 | F | F | F |
Independent-effect pairs
c0(branch4574): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_ifc1(branch4575): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_if