Decision #589 — binary_reader.rs:517
Status: no_witness
Truth table
| row | c0 br 4475 | c1 br 4477 | outcome |
|---|---|---|---|
| 1149 | T | F | F |
| 1150 | T | F | F |
| 4189 | T | F | F |
| 4190 | T | F | F |
| 7138 | T | F | F |
| 7139 | T | F | F |
| 9807 | T | F | F |
| 9808 | T | F | F |
| 10955 | T | F | F |
| 10956 | T | F | F |
| 12046 | T | F | F |
| 12047 | T | F | F |
| 18189 | T | F | F |
| 18190 | T | F | F |
| 25907 | T | F | F |
| 25908 | T | F | F |
| 31633 | T | F | F |
| 31634 | T | F | F |
| 37571 | T | F | F |
| 37572 | T | F | F |
| 41161 | T | F | F |
| 41162 | T | F | F |
| 44174 | T | F | F |
| 44175 | T | F | F |
| 47626 | T | F | F |
| 47627 | T | F | F |
| 50701 | T | F | F |
| 50702 | T | F | F |
| 59648 | T | F | F |
| 59649 | T | F | F |
| 69420 | T | F | F |
| 69421 | T | F | F |
| 73619 | T | F | F |
| 73620 | T | F | F |
| 77094 | T | F | F |
| 77095 | T | F | F |
| 79583 | T | F | F |
| 79584 | T | F | F |
| 81014 | T | F | F |
| 81015 | T | F | F |
| 82201 | T | F | F |
| 82202 | T | F | F |
| 83263 | T | F | F |
| 83264 | T | F | F |
| 84527 | T | F | F |
| 84528 | T | F | F |
| 86377 | T | F | F |
| 86378 | T | F | F |
| 87858 | T | F | F |
| 87859 | T | F | F |
| 89710 | T | F | F |
| 89711 | T | F | F |
| 91261 | T | F | F |
| 91262 | T | F | F |
| 107316 | T | F | F |
| 107317 | T | F | F |
| 126179 | T | F | F |
| 126180 | T | F | F |
| 130210 | T | F | F |
| 130211 | T | F | F |
| 131385 | T | F | F |
| 131386 | T | F | F |
| 132712 | T | F | F |
| 132713 | T | F | F |
Independent-effect pairs
c0(branch4475): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_ifc1(branch4477): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_if