Decision #649 — binary_reader.rs:421
Status: no_witness
Truth table
| row | c0 br 4760 | c1 br 4761 | outcome |
|---|---|---|---|
| 1279 | T | F | T |
| 1280 | T | F | T |
| 4319 | T | F | T |
| 4320 | T | F | T |
| 7268 | T | F | T |
| 7269 | T | F | T |
| 9869 | T | F | T |
| 9870 | T | F | T |
| 11017 | T | F | T |
| 11018 | T | F | T |
| 12108 | T | F | T |
| 12109 | T | F | T |
| 18251 | T | F | T |
| 18252 | T | F | T |
| 25969 | T | F | T |
| 25970 | T | F | T |
| 31695 | T | F | T |
| 31696 | T | F | T |
| 37633 | T | F | T |
| 37634 | T | F | T |
| 41248 | T | F | T |
| 41249 | T | F | T |
| 44261 | T | F | T |
| 44262 | T | F | T |
| 47713 | T | F | T |
| 47714 | T | F | T |
| 50788 | T | F | T |
| 50789 | T | F | T |
| 59710 | T | F | T |
| 59711 | T | F | T |
| 69482 | T | F | T |
| 69483 | T | F | T |
| 73711 | T | F | T |
| 73712 | T | F | T |
| 77186 | T | F | T |
| 77187 | T | F | T |
| 79670 | T | F | T |
| 79671 | T | F | T |
| 81088 | T | F | T |
| 81089 | T | F | T |
| 82275 | T | F | T |
| 82276 | T | F | T |
| 83337 | T | F | T |
| 83338 | T | F | T |
| 84621 | T | F | T |
| 84622 | T | F | T |
| 86483 | T | F | T |
| 86484 | T | F | T |
| 87952 | T | F | T |
| 87953 | T | F | T |
| 89816 | T | F | T |
| 89817 | T | F | T |
| 91355 | T | F | T |
| 91356 | T | F | T |
| 107378 | T | F | T |
| 107379 | T | F | T |
| 126241 | T | F | T |
| 126242 | T | F | T |
| 130272 | T | F | T |
| 130273 | T | F | T |
| 131447 | T | F | T |
| 131448 | T | F | T |
| 132774 | T | F | T |
| 132775 | T | F | T |
Independent-effect pairs
c0(branch4760): GAP view gap →wasmparser::parser::section· br_if
inlined: binary_reader.rs:443c1(branch4761): GAP view gap →wasmparser::parser::section· br_if
inlined: binary_reader.rs:443