Decision #607 — binary_reader.rs:444
Status: no_witness
Truth table
| row | c0 br 4541 | c1 br 4542 | outcome |
|---|---|---|---|
| 1164 | T | F | F |
| 1165 | T | F | F |
| 1166 | T | F | F |
| 4204 | T | F | F |
| 4205 | T | F | F |
| 4206 | T | F | F |
| 7153 | T | F | F |
| 7154 | T | F | F |
| 7155 | T | F | F |
Independent-effect pairs
c0(branch4541): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_ifc1(branch4542): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_if