Decision #479 — library/core/src/result.rs:2173
Status: no_witness
Truth table
| row | c0 br 3234 | c1 br 3235 | outcome |
|---|---|---|---|
| 18134 | F | T | T |
| 25852 | F | T | T |
| 31581 | F | T | T |
| 37519 | F | T | T |
| 59593 | F | T | T |
| 69365 | F | T | T |
| 107258 | F | T | T |
| 126121 | F | T | T |
Independent-effect pairs
c0(branch3234): GAP view gap →wasmparser::readers::core::code::LocalsReader::read· br_if
inlined: imports.rs:172c1(branch3235): GAP view gap →wasmparser::readers::core::code::LocalsReader::read· br_if