Decision #1153 — binary_reader.rs:420
Status: no_witness
Truth table
| row | c0 br 7824 | c1 br 7825 | outcome |
|---|---|---|---|
| 2358 | T | F | F |
| 2359 | T | F | F |
| 9317 | T | F | F |
| 9318 | T | F | F |
| 16123 | T | F | F |
| 16124 | T | F | F |
Independent-effect pairs
c0(branch7824): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_call_indirect_table_immediate· br_ifc1(branch7825): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_call_indirect_table_immediate· br_if