Decision #483 — binary_reader.rs:420
Status: no_witness
Truth table
| row | c0 br 3273 | c1 br 3274 | outcome |
|---|---|---|---|
| 80989 | T | F | F |
| 82176 | T | F | F |
| 83238 | T | F | F |
Independent-effect pairs
c0(branch3273): GAP view gap →wasmparser::binary_reader::BinaryReader::read_memarg· br_if
inlined: binary_reader.rs:554c1(branch3274): GAP view gap →wasmparser::binary_reader::BinaryReader::read_memarg· br_if
inlined: binary_reader.rs:554