Decision #1051 — binary_reader.rs:285
Status: no_witness
Truth table
| row | c0 br 6620 | c1 br 6621 | outcome |
|---|---|---|---|
| 2294 | F | T | T |
| 2295 | F | T | T |
| 9253 | F | T | T |
| 9254 | F | T | T |
| 16059 | F | T | T |
| 16060 | F | T | T |
| 22125 | F | T | T |
| 22126 | F | T | T |
| 24867 | F | T | T |
| 24868 | F | T | T |
| 27511 | F | T | T |
| 27512 | F | T | T |
| 38849 | F | T | T |
| 38850 | F | T | T |
| 59703 | F | T | T |
| 59704 | F | T | T |
| 75227 | F | T | T |
| 75228 | F | T | T |
| 85110 | F | T | T |
| 85111 | F | T | T |
| 93326 | F | T | T |
| 93327 | F | T | T |
| 101157 | F | T | T |
| 101158 | F | T | T |
| 109645 | F | T | T |
| 109646 | F | T | T |
| 117670 | F | T | T |
| 117671 | F | T | T |
| 132210 | F | T | T |
| 132211 | F | T | T |
| 148929 | F | T | T |
| 148930 | F | T | T |
| 159835 | F | T | T |
| 159836 | F | T | T |
| 169693 | F | T | T |
| 169694 | F | T | T |
| 177051 | F | T | T |
| 177052 | F | T | T |
| 181600 | F | T | T |
| 181601 | F | T | T |
| 184918 | F | T | T |
| 184919 | F | T | T |
| 188027 | F | T | T |
| 188028 | F | T | T |
| 192055 | F | T | T |
| 192056 | F | T | T |
| 197960 | F | T | T |
| 197961 | F | T | T |
| 203921 | F | T | T |
| 203922 | F | T | T |
| 209051 | F | T | T |
| 209052 | F | T | T |
| 216786 | F | T | T |
| 216787 | F | T | T |
| 252640 | F | T | T |
| 252641 | F | T | T |
| 330017 | F | T | T |
| 330018 | F | T | T |
| 377561 | F | T | T |
| 377562 | F | T | T |
| 380218 | F | T | T |
| 380219 | F | T | T |
| 383101 | F | T | T |
| 383102 | F | T | T |
Independent-effect pairs
c0(branch6620): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<u32>>::{closure#0}>· br_if
inlined: imports.rs:184c1(branch6621): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<u32>>::{closure#0}>· br_if
inlined: imports.rs:184