Decision #591 — binary_reader.rs:420
Status: no_witness
Truth table
| row | c0 br 4487 | c1 br 4488 | outcome |
|---|---|---|---|
| 81018 | F | F | F |
| 81019 | F | F | F |
| 82205 | F | F | F |
| 82206 | F | F | F |
| 83267 | F | F | F |
| 83268 | F | F | F |
Independent-effect pairs
c0(branch4487): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_if
inlined: binary_reader.rs:519 ← binary_reader.rs:443c1(branch4488): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_if
inlined: binary_reader.rs:519 ← binary_reader.rs:443