Decision #454 — imports.rs:179
Status: no_witness
Truth table
| row | c0 br 3080 | c1 br 3082 | outcome |
|---|---|---|---|
| 73481 | F | F | F |
| 73482 | F | F | F |
| 73483 | F | F | F |
| 73484 | F | F | F |
| 73485 | F | F | F |
| 73486 | F | F | F |
| 73487 | F | F | F |
| 73488 | F | F | F |
| 76956 | F | F | F |
| 76957 | F | F | F |
| 76958 | F | F | F |
| 76959 | F | F | F |
| 76960 | F | F | F |
| 76961 | F | F | F |
| 76962 | F | F | F |
| 76963 | F | F | F |
Independent-effect pairs
c0(branch3080): GAP view gap →wasmparser::binary_reader::BinaryReader::read_var_i32_big· br_ifc1(branch3082): GAP view gap →wasmparser::binary_reader::BinaryReader::read_var_i32_big· br_if