Decision #660 — binary_reader.rs:444
Status: no_witness
Truth table
| row | c0 br 4824 | c1 br 4825 | outcome |
|---|---|---|---|
| 1285 | * | F | F |
| 1286 | * | F | F |
| 4325 | * | F | F |
| 4326 | * | F | F |
| 7274 | * | F | F |
| 7275 | * | F | F |
| 9873 | * | F | F |
| 9874 | * | F | F |
| 11021 | * | F | F |
| 11022 | * | F | F |
| 12112 | * | F | F |
| 12113 | * | F | F |
| 18255 | * | F | F |
| 18256 | * | F | F |
| 25973 | * | F | F |
| 25974 | * | F | F |
| 31699 | * | F | F |
| 31700 | * | F | F |
| 37637 | * | F | F |
| 37638 | * | F | F |
| 41252 | * | F | F |
| 41253 | * | F | F |
| 44265 | * | F | F |
| 44266 | * | F | F |
| 47717 | * | F | F |
| 47718 | * | F | F |
| 50792 | * | F | F |
| 50793 | * | F | F |
| 59714 | * | F | F |
| 59715 | * | F | F |
| 69486 | * | F | F |
| 69487 | * | F | F |
| 73715 | * | F | F |
| 73716 | * | F | F |
| 77190 | * | F | F |
| 77191 | * | F | F |
| 79674 | * | F | F |
| 79675 | * | F | F |
| 81094 | * | F | F |
| 81095 | * | F | F |
| 82281 | * | F | F |
| 82282 | * | F | F |
| 83343 | * | F | F |
| 83344 | * | F | F |
| 84625 | * | F | F |
| 84626 | * | F | F |
| 86487 | * | F | F |
| 86488 | * | F | F |
| 87956 | * | F | F |
| 87957 | * | F | F |
| 89820 | * | F | F |
| 89821 | * | F | F |
| 91359 | * | F | F |
| 91360 | * | F | F |
| 107382 | * | F | F |
| 107383 | * | F | F |
| 126245 | * | F | F |
| 126246 | * | F | F |
| 130276 | * | F | F |
| 130277 | * | F | F |
| 131451 | * | F | F |
| 131452 | * | F | F |
| 132778 | * | F | F |
| 132779 | * | F | F |
Independent-effect pairs
c0(branch4824): DEAD view gap →wasmparser::parser::section· br_ifc1(branch4825): GAP view gap →wasmparser::parser::section· br_if