Decision #1095 — library/core/src/result.rs:2177
Status: no_witness
Truth table
| row | c0 br 7149 | c1 br 7152 | outcome |
|---|---|---|---|
| 181624 | F | T | T |
| 184942 | F | T | T |
| 188051 | F | T | T |
Independent-effect pairs
c0(branch7149): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_memarg· br_ifc1(branch7152): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_memarg· br_if