Decision #484 — binary_reader.rs:558
Status: no_witness
Truth table
| row | c0 br 3276 | c1 br 3277 | outcome |
|---|---|---|---|
| 80990 | F | * | F |
| 82177 | F | * | F |
| 83239 | F | * | F |
Independent-effect pairs
c0(branch3276): GAP view gap →wasmparser::binary_reader::BinaryReader::read_memarg· br_ifc1(branch3277): DEAD view gap →wasmparser::binary_reader::BinaryReader::read_memarg· br_if