Decision #657 — binary_reader.rs:421
Status: no_witness
Truth table
| row | c0 br 4804 | c1 br 4805 | outcome |
|---|---|---|---|
| 81092 | T | F | T |
| 81093 | T | F | T |
| 82279 | T | F | T |
| 82280 | T | F | T |
| 83341 | T | F | T |
| 83342 | T | F | T |
Independent-effect pairs
c0(branch4804): GAP view gap →wasmparser::parser::section· br_if
inlined: binary_reader.rs:443c1(branch4805): GAP view gap →wasmparser::parser::section· br_if
inlined: binary_reader.rs:443