Decision #807 — binary_reader.rs:93
Status: no_witness
Truth table
| row | c0 br 5356 | c1 br 5357 | outcome |
|---|---|---|---|
| 1837 | F | F | F |
| 1838 | F | F | F |
| 5628 | F | F | F |
| 5629 | F | F | F |
| 9409 | F | F | F |
| 9410 | F | F | F |
| 12314 | F | F | F |
| 12315 | F | F | F |
| 13688 | F | F | F |
| 13689 | F | F | F |
| 15015 | F | F | F |
| 15016 | F | F | F |
| 22416 | F | F | F |
| 22417 | F | F | F |
| 31894 | F | F | F |
| 31895 | F | F | F |
| 38215 | F | F | F |
| 38216 | F | F | F |
| 44428 | F | F | F |
| 44429 | F | F | F |
| 49032 | F | F | F |
| 49033 | F | F | F |
| 53233 | F | F | F |
| 53234 | F | F | F |
| 57763 | F | F | F |
| 57764 | F | F | F |
| 61956 | F | F | F |
| 61957 | F | F | F |
| 72536 | F | F | F |
| 72537 | F | F | F |
| 84049 | F | F | F |
| 84050 | F | F | F |
| 89534 | F | F | F |
| 89535 | F | F | F |
| 93802 | F | F | F |
| 93803 | F | F | F |
| 96582 | F | F | F |
| 96583 | F | F | F |
| 98365 | F | F | F |
| 98366 | F | F | F |
| 99880 | F | F | F |
| 99881 | F | F | F |
| 101298 | F | F | F |
| 101299 | F | F | F |
| 103331 | F | F | F |
| 103332 | F | F | F |
| 106983 | F | F | F |
| 106984 | F | F | F |
| 109512 | F | F | F |
| 109513 | F | F | F |
| 112448 | F | F | F |
| 112449 | F | F | F |
| 115385 | F | F | F |
| 115386 | F | F | F |
| 135248 | F | F | F |
| 135249 | F | F | F |
| 158184 | F | F | F |
| 158185 | F | F | F |
| 163642 | F | F | F |
| 163643 | F | F | F |
| 165223 | F | F | F |
| 165224 | F | F | F |
| 166943 | F | F | F |
| 166944 | F | F | F |
Independent-effect pairs
c0(branch5356): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::exports::Export>>::{closure#0}>· br_ifc1(branch5357): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::exports::Export>>::{closure#0}>· br_if