Decision #606 — binary_reader.rs:517
Status: partial
Truth table
| row | c0 br 4538 | c1 br 4539 | outcome |
|---|---|---|---|
| 1160 | F | T | T |
| 1161 | * | T | T |
| 1162 | * | T | T |
| 1163 | * | F | F |
| 4200 | F | T | T |
| 4201 | * | T | T |
| 4202 | * | T | T |
| 4203 | * | F | F |
| 7149 | F | T | T |
| 7150 | * | T | T |
| 7151 | * | T | T |
| 7152 | * | F | F |
Independent-effect pairs
c0(branch4538): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_ifc1(branch4539): PROVED — pair rows1160,1163(masking)wasmparser::binary_reader::BinaryReader::skip· br_if