Decision #663 — binary_reader.rs:444
Status: no_witness
Truth table
| row | c0 br 4837 | c1 br 4838 | outcome |
|---|---|---|---|
| 1289 | T | F | T |
| 1290 | T | F | T |
| 4329 | T | F | T |
| 4330 | T | F | T |
| 7278 | T | F | T |
| 7279 | T | F | T |
Independent-effect pairs
c0(branch4837): GAP view gap →wasmparser::parser::section· br_ifc1(branch4838): GAP view gap →wasmparser::parser::section· br_if