Decision #1215 — binary_reader.rs:443
Status: no_witness
Truth table
| row | c0 br 8388 | c1 br 8389 | outcome |
|---|---|---|---|
| 2516 | T | T | T |
| 2517 | T | T | T |
| 9473 | T | T | T |
| 9474 | T | T | T |
| 16294 | T | T | T |
| 16295 | T | T | T |
| 22201 | T | T | T |
| 22202 | T | T | T |
| 24941 | T | T | T |
| 24942 | T | T | T |
| 27587 | T | T | T |
| 27588 | T | T | T |
| 38995 | T | T | T |
| 38996 | T | T | T |
| 59847 | T | T | T |
| 59848 | T | T | T |
| 75381 | T | T | T |
| 75382 | T | T | T |
| 85264 | T | T | T |
| 85265 | T | T | T |
| 93502 | T | T | T |
| 93503 | T | T | T |
| 101343 | T | T | T |
| 101344 | T | T | T |
| 109827 | T | T | T |
| 109828 | T | T | T |
| 117846 | T | T | T |
| 117847 | T | T | T |
| 132352 | T | T | T |
| 132353 | T | T | T |
| 149071 | T | T | T |
| 149072 | T | T | T |
| 160049 | T | T | T |
| 160050 | T | T | T |
| 169907 | T | T | T |
| 169908 | T | T | T |
| 177163 | T | T | T |
| 177164 | T | T | T |
| 181694 | T | T | T |
| 181695 | T | T | T |
| 185010 | T | T | T |
| 185011 | T | T | T |
| 188121 | T | T | T |
| 188122 | T | T | T |
| 192173 | T | T | T |
| 192174 | T | T | T |
| 198176 | T | T | T |
| 198177 | T | T | T |
| 204027 | T | T | T |
| 204028 | T | T | T |
| 209293 | T | T | T |
| 209294 | T | T | T |
| 216971 | T | T | T |
| 216972 | T | T | T |
| 252820 | T | T | T |
| 252821 | T | T | T |
| 330197 | T | T | T |
| 330198 | T | T | T |
| 377634 | T | T | T |
| 377635 | T | T | T |
| 380295 | T | T | T |
| 380296 | T | T | T |
| 383176 | T | T | T |
| 383177 | T | T | T |
Independent-effect pairs
c0(branch8388): GAP view gap →<wasmparser::parser::Parser>::parse_reader· br_ifc1(branch8389): GAP view gap →<wasmparser::parser::Parser>::parse_reader· br_if