Decision #488 — binary_reader.rs:2055
Status: no_witness
Truth table
| row | c0 br 3292 | c1 br 3293 | outcome |
|---|---|---|---|
| 41104 | T | F | F |
| 44117 | T | F | F |
| 47569 | T | F | F |
| 50644 | T | F | F |
| 79552 | T | F | F |
| 84471 | T | F | F |
| 86256 | T | F | F |
| 87813 | T | F | F |
| 89561 | T | F | F |
| 89562 | T | F | F |
| 91175 | T | F | F |
Independent-effect pairs
c0(branch3292): GAP view gap →wasmparser::binary_reader::BinaryReader::read_reader· br_ifc1(branch3293): GAP view gap →wasmparser::binary_reader::BinaryReader::read_reader· br_if