Decision #1149 — binary_reader.rs:443
Status: no_witness
Truth table
| row | c0 br 7799 | c1 br 7800 | outcome |
|---|---|---|---|
| 38895 | F | F | F |
| 38896 | F | F | F |
| 59749 | F | F | F |
| 59750 | F | F | F |
| 75271 | F | F | F |
| 75272 | F | F | F |
| 85154 | F | F | F |
| 85155 | F | F | F |
| 132256 | F | F | F |
| 132257 | F | F | F |
| 148975 | F | F | F |
| 148976 | F | F | F |
| 216863 | F | F | F |
| 252688 | F | F | F |
| 252689 | F | F | F |
| 330065 | F | F | F |
| 330066 | F | F | F |
Independent-effect pairs
c0(branch7799): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_block_type· br_ifc1(branch7800): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_block_type· br_if