Decision #1094 — binary_reader.rs:1232
Status: no_witness
Truth table
| row | c0 br 7161 | c1 br 7162 | outcome |
|---|---|---|---|
| 181623 | F | T | T |
| 184941 | F | T | T |
| 188050 | F | T | T |
Independent-effect pairs
c0(branch7161): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_memarg· br_ifc1(branch7162): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_memarg· br_if