Decision #609 — imports.rs:135
Status: no_witness
Truth table
| row | c0 br 4543 | c1 br 4544 | outcome |
|---|---|---|---|
| 1168 | T | * | T |
| 1169 | T | * | T |
| 1170 | T | * | T |
| 4208 | T | * | T |
| 4209 | T | * | T |
| 4210 | T | * | T |
| 7157 | T | * | T |
| 7158 | T | * | T |
| 7159 | T | * | T |
Independent-effect pairs
c0(branch4543): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_ifc1(branch4544): DEAD view gap →wasmparser::binary_reader::BinaryReader::skip· br_if