Decision #624 — binary_reader.rs:93
Status: no_witness
Truth table
| row | c0 br 4600 | c1 br 4601 | outcome |
|---|---|---|---|
| 41169 | T | F | F |
| 44182 | T | F | F |
| 47634 | T | F | F |
| 50709 | T | F | F |
| 79591 | T | F | F |
| 84544 | T | F | F |
| 86394 | T | F | F |
| 87875 | T | F | F |
| 89732 | T | F | F |
| 89733 | T | F | F |
| 91278 | T | F | F |
Independent-effect pairs
c0(branch4600): GAP view gap →wasmparser::binary_reader::BinaryReader::read_u7· br_if
inlined: parser.rs:1286 ← parser.rs:987 ← binary_reader.rs:378 ← binary_reader.rs:443 ← binary_reader.rs:422 ← binary_reader.rs:430c1(branch4601): GAP view gap →wasmparser::binary_reader::BinaryReader::read_u7· br_if
inlined: parser.rs:1286 ← parser.rs:987 ← binary_reader.rs:378 ← binary_reader.rs:443 ← binary_reader.rs:422 ← binary_reader.rs:430