Decision #855 — library/core/src/result.rs:2174
Status: no_witness
Truth table
| row | c0 br 5914 | c1 br 5915 | outcome |
|---|---|---|---|
| 98382 | T | F | F |
| 99897 | T | F | F |
| 101315 | T | F | F |
Independent-effect pairs
c0(branch5914): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_memarg· br_ifc1(branch5915): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_memarg· br_if