Decision #1148 — binary_reader.rs:93
Status: no_witness
Truth table
| row | c0 br 7797 | c1 br 7798 | outcome |
|---|---|---|---|
| 38893 | F | F | F |
| 38894 | F | F | F |
| 59747 | F | F | F |
| 59748 | F | F | F |
| 75269 | F | F | F |
| 75270 | F | F | F |
| 85152 | F | F | F |
| 85153 | F | F | F |
| 132254 | F | F | F |
| 132255 | F | F | F |
| 148973 | F | F | F |
| 148974 | F | F | F |
| 216862 | F | F | F |
| 252686 | F | F | F |
| 252687 | F | F | F |
| 330063 | F | F | F |
| 330064 | F | F | F |
Independent-effect pairs
c0(branch7797): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_block_type· br_ifc1(branch7798): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_block_type· br_if