Decision #1254 — binary_reader.rs:420
Status: no_witness
Truth table
| row | c0 br 8475 | c1 br 8476 | outcome |
|---|---|---|---|
| 93660 | T | F | F |
| 101501 | T | F | F |
| 109985 | T | F | F |
| 118004 | T | F | F |
| 177321 | T | F | F |
| 192325 | T | F | F |
| 198352 | T | F | F |
| 204179 | T | F | F |
| 209457 | T | F | F |
| 209458 | T | F | F |
| 217123 | T | F | F |
Independent-effect pairs
c0(branch8475): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_reader· br_if
inlined: readers.rs:102 ← binary_reader.rs:443c1(branch8476): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_reader· br_if
inlined: readers.rs:102 ← binary_reader.rs:443