Decision #1260 — binary_reader.rs:93
Status: no_witness
Truth table
| row | c0 br 8513 | c1 br 8514 | outcome |
|---|---|---|---|
| 93661 | T | F | F |
| 101502 | T | F | F |
| 109986 | T | F | F |
| 118005 | T | F | F |
| 177322 | T | F | F |
| 192332 | T | F | F |
| 198359 | T | F | F |
| 204186 | T | F | F |
| 209471 | T | F | F |
| 209472 | T | F | F |
| 217130 | T | F | F |
Independent-effect pairs
c0(branch8513): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_u7· br_if
inlined: types.rs:2104 ← binary_reader.rs:422c1(branch8514): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_u7· br_if