Decision #854 — binary_reader.rs:1219
Status: no_witness
Truth table
| row | c0 br 5923 | c1 br 5924 | outcome |
|---|---|---|---|
| 98381 | F | T | T |
| 99896 | F | T | T |
| 101314 | F | T | T |
Independent-effect pairs
c0(branch5923): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_memarg· br_ifc1(branch5924): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_memarg· br_if