Decision #655 — binary_reader.rs:421
Status: no_witness
Truth table
| row | c0 br 4793 | c1 br 4794 | outcome |
|---|---|---|---|
| 1283 | T | F | T |
| 1284 | T | F | T |
| 4323 | T | F | T |
| 4324 | T | F | T |
| 7272 | T | F | T |
| 7273 | T | F | T |
Independent-effect pairs
c0(branch4793): GAP view gap →wasmparser::parser::section· br_if
inlined: binary_reader.rs:443c1(branch4794): GAP view gap →wasmparser::parser::section· br_if
inlined: binary_reader.rs:443