Decision #956 — binary_reader.rs:458
Status: no_witness
Truth table
| row | c0 br 6872 | c1 br 6873 | outcome |
|---|---|---|---|
| 1911 | T | F | T |
| 1912 | T | F | T |
| 5702 | T | F | T |
| 5703 | T | F | T |
| 9483 | T | F | T |
| 9484 | T | F | T |
| 12337 | T | F | T |
| 12338 | T | F | T |
| 13711 | T | F | T |
| 13712 | T | F | T |
| 15038 | T | F | T |
| 15039 | T | F | T |
| 22467 | T | F | T |
| 22468 | T | F | T |
| 31945 | T | F | T |
| 31946 | T | F | T |
| 38262 | T | F | T |
| 38263 | T | F | T |
| 44475 | T | F | T |
| 44476 | T | F | T |
| 49089 | T | F | T |
| 49090 | T | F | T |
| 53290 | T | F | T |
| 53291 | T | F | T |
| 57820 | T | F | T |
| 57821 | T | F | T |
| 62013 | T | F | T |
| 62014 | T | F | T |
| 72587 | T | F | T |
| 72588 | T | F | T |
| 84100 | T | F | T |
| 84101 | T | F | T |
| 89594 | T | F | T |
| 89595 | T | F | T |
| 93862 | T | F | T |
| 93863 | T | F | T |
| 96610 | T | F | T |
| 96611 | T | F | T |
| 98392 | T | F | T |
| 98393 | T | F | T |
| 99907 | T | F | T |
| 99908 | T | F | T |
| 101325 | T | F | T |
| 101326 | T | F | T |
| 103386 | T | F | T |
| 103387 | T | F | T |
| 107080 | T | F | T |
| 107081 | T | F | T |
| 109559 | T | F | T |
| 109560 | T | F | T |
| 112563 | T | F | T |
| 112564 | T | F | T |
| 115459 | T | F | T |
| 115460 | T | F | T |
| 135301 | T | F | T |
| 135302 | T | F | T |
| 158237 | T | F | T |
| 158238 | T | F | T |
| 163664 | T | F | T |
| 163665 | T | F | T |
| 165245 | T | F | T |
| 165246 | T | F | T |
| 166965 | T | F | T |
| 166966 | T | F | T |
Independent-effect pairs
c0(branch6872): GAP view gap →wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::exports::Export>>· br_ifc1(branch6873): GAP view gap →wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::exports::Export>>· br_if