Decision #1052 — imports.rs:182
Status: no_witness
Truth table
| row | c0 br 6617 | c1 br 6618 | c2 br 6619 | c3 br 6622 | c4 br 6623 | outcome |
|---|---|---|---|---|---|---|
| 2296 | T | F | F | F | F | F |
| 2297 | T | F | F | F | F | F |
| 9255 | T | F | F | F | F | F |
| 9256 | T | F | F | F | F | F |
| 16061 | T | F | F | F | F | F |
| 16062 | T | F | F | F | F | F |
| 22127 | T | F | F | F | F | F |
| 22128 | T | F | F | F | F | F |
| 24869 | T | F | F | F | F | F |
| 24870 | T | F | F | F | F | F |
| 27513 | T | F | F | F | F | F |
| 27514 | T | F | F | F | F | F |
| 38851 | T | F | F | F | F | F |
| 38852 | T | F | F | F | F | F |
| 59705 | T | F | F | F | F | F |
| 59706 | T | F | F | F | F | F |
| 75229 | T | F | F | F | F | F |
| 75230 | T | F | F | F | F | F |
| 85112 | T | F | F | F | F | F |
| 85113 | T | F | F | F | F | F |
| 93328 | T | F | F | F | F | F |
| 93329 | T | F | F | F | F | F |
| 101159 | T | F | F | F | F | F |
| 101160 | T | F | F | F | F | F |
| 109647 | T | F | F | F | F | F |
| 109648 | T | F | F | F | F | F |
| 117672 | T | F | F | F | F | F |
| 117673 | T | F | F | F | F | F |
| 132212 | T | F | F | F | F | F |
| 132213 | T | F | F | F | F | F |
| 148931 | T | F | F | F | F | F |
| 148932 | T | F | F | F | F | F |
| 159837 | T | F | F | F | F | F |
| 159838 | T | F | F | F | F | F |
| 169695 | T | F | F | F | F | F |
| 169696 | T | F | F | F | F | F |
| 177053 | T | F | F | F | F | F |
| 177054 | T | F | F | F | F | F |
| 181602 | T | F | F | F | F | F |
| 181603 | T | F | F | F | F | F |
| 184920 | T | F | F | F | F | F |
| 184921 | T | F | F | F | F | F |
| 188029 | T | F | F | F | F | F |
| 188030 | T | F | F | F | F | F |
| 192057 | T | F | F | F | F | F |
| 192058 | T | F | F | F | F | F |
| 197962 | T | F | F | F | F | F |
| 197963 | T | F | F | F | F | F |
| 203923 | T | F | F | F | F | F |
| 203924 | T | F | F | F | F | F |
| 209053 | T | F | F | F | F | F |
| 209054 | T | F | F | F | F | F |
| 216788 | T | F | F | F | F | F |
| 216789 | T | F | F | F | F | F |
| 252642 | T | F | F | F | F | F |
| 252643 | T | F | F | F | F | F |
| 330019 | T | F | F | F | F | F |
| 330020 | T | F | F | F | F | F |
| 377563 | T | F | F | F | F | F |
| 377564 | T | F | F | F | F | F |
| 380220 | T | F | F | F | F | F |
| 380221 | T | F | F | F | F | F |
| 383103 | T | F | F | F | F | F |
| 383104 | T | F | F | F | F | F |
Independent-effect pairs
All 5 conditions live in <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<u32>>::{closure#0}> — 5 br_if
c0(branch6617): GAP view gap →c1(branch6618): GAP view gap →c2(branch6619): GAP view gap →c3(branch6622): GAP view gap →c4(branch6623): GAP view gap →