Decision #486 — binary_reader.rs:599
Status: no_witness
Truth table
| row | c0 br 3281 | c1 br 3282 | outcome |
|---|---|---|---|
| 80991 | F | F | F |
| 82178 | F | F | F |
| 83240 | F | F | F |
Independent-effect pairs
c0(branch3281): GAP view gap →wasmparser::binary_reader::BinaryReader::read_memarg· br_ifc1(branch3282): GAP view gap →wasmparser::binary_reader::BinaryReader::read_memarg· br_if