Decision #601 — imports.rs:109
Status: no_witness
Truth table
| row | c0 br 4516 | c1 br 4517 | outcome |
|---|---|---|---|
| 1158 | T | T | T |
| 1159 | T | T | T |
| 4198 | T | T | T |
| 4199 | T | T | T |
| 7147 | T | T | T |
| 7148 | T | T | T |
| 84532 | T | T | T |
| 84533 | T | T | T |
| 86382 | T | T | T |
| 86383 | T | T | T |
| 87863 | T | T | T |
| 87864 | T | T | T |
| 89718 | T | T | T |
| 89719 | T | T | T |
| 89720 | T | T | T |
| 89721 | T | T | T |
| 91266 | T | T | T |
| 91267 | T | T | T |
Independent-effect pairs
c0(branch4516): GAP view gap →wasmparser::readers::core::operators::OperatorsReader::skip_const_expr· br_ifc1(branch4517): GAP view gap →wasmparser::readers::core::operators::OperatorsReader::skip_const_expr· br_if