Decision #629 — binary_reader.rs:443
Status: no_witness
Truth table
| row | c0 br 4728 | c1 br 4729 | outcome |
|---|---|---|---|
| 1193 | T | * | T |
| 1194 | T | * | T |
| 4233 | T | * | T |
| 4234 | T | * | T |
| 7182 | T | * | T |
| 7183 | T | * | T |
| 9821 | T | * | T |
| 9822 | T | * | T |
| 10969 | T | * | T |
| 10970 | T | * | T |
| 12060 | T | * | T |
| 12061 | T | * | T |
| 18203 | T | * | T |
| 18204 | T | * | T |
| 25921 | T | * | T |
| 25922 | T | * | T |
| 31647 | T | * | T |
| 31648 | T | * | T |
| 37585 | T | * | T |
| 37586 | T | * | T |
| 41182 | T | * | T |
| 41183 | T | * | T |
| 44195 | T | * | T |
| 44196 | T | * | T |
| 47647 | T | * | T |
| 47648 | T | * | T |
| 50722 | T | * | T |
| 50723 | T | * | T |
| 59662 | T | * | T |
| 59663 | T | * | T |
| 69434 | T | * | T |
| 69435 | T | * | T |
| 73633 | T | * | T |
| 73634 | T | * | T |
| 77108 | T | * | T |
| 77109 | T | * | T |
| 79604 | T | * | T |
| 79605 | T | * | T |
| 81034 | T | * | T |
| 81035 | T | * | T |
| 82221 | T | * | T |
| 82222 | T | * | T |
| 83283 | T | * | T |
| 83284 | T | * | T |
| 84559 | T | * | T |
| 84560 | T | * | T |
| 86409 | T | * | T |
| 86410 | T | * | T |
| 87890 | T | * | T |
| 87891 | T | * | T |
| 89748 | T | * | T |
| 89749 | T | * | T |
| 91293 | T | * | T |
| 91294 | T | * | T |
| 107330 | T | * | T |
| 107331 | T | * | T |
| 126193 | T | * | T |
| 126194 | T | * | T |
| 130224 | T | * | T |
| 130225 | T | * | T |
| 131399 | T | * | T |
| 131400 | T | * | T |
| 132726 | T | * | T |
| 132727 | T | * | T |
Independent-effect pairs
c0(branch4728): GAP view gap →wasmparser::parser::Parser::parse_reader· br_ifc1(branch4729): DEAD view gap →wasmparser::parser::Parser::parse_reader· br_if