Decision #492 — binary_reader.rs:2045
Status: partial
Truth table
| row | c0 br 3310 | c1 br 3312 | outcome |
|---|---|---|---|
| 1093 | F | F | F |
| 1094 | F | F | F |
| 1095 | F | T | T |
| 1096 | F | T | T |
| 1097 | F | T | T |
| 1098 | F | F | F |
| 4133 | F | F | F |
| 4134 | F | F | F |
| 4135 | F | T | T |
| 4136 | F | T | T |
| 4137 | F | T | T |
| 4138 | F | F | F |
| 7082 | F | F | F |
| 7083 | F | F | F |
| 7084 | F | T | T |
| 7085 | F | T | T |
| 7086 | F | T | T |
| 7087 | F | F | F |
| 9788 | F | F | F |
| 9789 | F | F | F |
| 9790 | F | F | F |
| 10936 | F | F | F |
| 10937 | F | F | F |
| 10938 | F | F | F |
| 12027 | F | F | F |
| 12028 | F | F | F |
| 12029 | F | F | F |
| 18140 | F | F | F |
| 18141 | F | F | F |
| 25858 | F | F | F |
| 25859 | F | F | F |
| 31587 | F | F | F |
| 31588 | F | F | F |
| 37525 | F | F | F |
| 37526 | F | F | F |
| 41119 | F | F | F |
| 41120 | F | F | F |
| 41121 | F | F | F |
| 44132 | F | F | F |
| 44133 | F | F | F |
| 44134 | F | F | F |
| 47584 | F | F | F |
| 47585 | F | F | F |
| 47586 | F | F | F |
| 50659 | F | F | F |
| 50660 | F | F | F |
| 50661 | F | F | F |
| 59599 | F | F | F |
| 59600 | F | F | F |
| 69371 | F | F | F |
| 69372 | F | F | F |
| 73541 | F | T | T |
| 73542 | F | T | T |
| 73543 | F | T | T |
| 73544 | F | T | T |
| 73545 | F | T | T |
| 73546 | F | T | T |
| 73547 | F | T | T |
| 73548 | F | T | T |
| 73549 | F | T | T |
| 73550 | F | T | T |
| 73551 | F | T | T |
| 73552 | F | T | T |
| 77016 | F | T | T |
| 77017 | F | T | T |
| 77018 | F | T | T |
| 77019 | F | T | T |
| 77020 | F | T | T |
| 77021 | F | T | T |
| 77022 | F | T | T |
| 77023 | F | T | T |
| 77024 | F | T | T |
| 77025 | F | T | T |
| 77026 | F | T | T |
| 77027 | F | T | T |
| 80997 | F | T | T |
| 80998 | F | F | F |
| 82184 | F | T | T |
| 82185 | F | F | F |
| 83246 | F | T | T |
| 83247 | F | F | F |
| 84478 | F | T | T |
| 84479 | F | T | T |
| 84480 | F | T | T |
| 84481 | F | F | F |
| 84482 | F | F | F |
| 86271 | F | T | T |
| 86272 | F | T | T |
| 86273 | F | T | T |
| 86274 | F | F | F |
| 86275 | F | F | F |
| 86276 | F | F | F |
| 86277 | F | F | F |
| 86278 | F | F | F |
| 86279 | F | F | F |
| 86280 | F | F | F |
| 87820 | F | T | T |
| 87821 | F | T | T |
| 87822 | F | T | T |
| 87823 | F | F | F |
| 89575 | F | T | T |
| 89576 | F | T | T |
| 89577 | F | T | T |
| 89578 | F | T | T |
| 89579 | F | T | T |
| 89580 | F | T | T |
| 89581 | F | F | F |
| 89582 | F | F | F |
| 89583 | F | F | F |
| 89584 | F | F | F |
| 89585 | F | F | F |
| 91182 | F | T | T |
| 91183 | F | T | T |
| 91184 | F | T | T |
| 91185 | F | F | F |
| 91186 | F | F | F |
| 91187 | F | F | F |
| 91188 | F | F | F |
| 107264 | F | F | F |
| 107265 | F | F | F |
| 126127 | F | F | F |
| 126128 | F | F | F |
| 130198 | F | F | F |
| 131373 | F | F | F |
| 132700 | F | F | F |
Independent-effect pairs
c0(branch3310): GAP view gap →wasmparser::binary_reader::BinaryReader::read_var_i32· br_ifc1(branch3312): PROVED — pair rows1093,1095(unique-cause)wasmparser::binary_reader::BinaryReader::read_var_i32· br_if