Decision #1052 — imports.rs:146
Status: no_witness
Truth table
| row | c0 br 7393 | c1 br 7394 | c2 br 7395 | c3 br 7396 | outcome |
|---|---|---|---|---|---|
| 2185 | * | T | T | F | F |
| 2186 | * | T | T | F | F |
| 5976 | * | T | T | F | F |
| 5977 | * | T | T | F | F |
| 9757 | * | T | T | F | F |
| 9758 | * | T | T | F | F |
| 12479 | * | T | T | F | F |
| 13853 | * | T | T | F | F |
| 15180 | * | T | T | F | F |
| 22615 | * | T | T | F | F |
| 32093 | * | T | T | F | F |
| 38412 | * | T | T | F | F |
| 44625 | * | T | T | F | F |
| 49298 | * | T | T | F | F |
| 49299 | * | T | T | F | F |
| 53499 | * | T | T | F | F |
| 53500 | * | T | T | F | F |
| 58029 | * | T | T | F | F |
| 58030 | * | T | T | F | F |
| 62222 | * | T | T | F | F |
| 62223 | * | T | T | F | F |
| 72735 | * | T | T | F | F |
| 84248 | * | T | T | F | F |
| 89832 | * | T | T | F | F |
| 89833 | * | T | T | F | F |
| 89834 | * | T | T | F | F |
| 89835 | * | T | T | F | F |
| 89836 | * | T | T | F | F |
| 89837 | * | T | T | F | F |
| 94100 | * | T | T | F | F |
| 94101 | * | T | T | F | F |
| 94102 | * | T | T | F | F |
| 94103 | * | T | T | F | F |
| 94104 | * | T | T | F | F |
| 94105 | * | T | T | F | F |
| 96804 | * | T | T | F | F |
| 98559 | * | T | T | F | F |
| 100074 | * | T | T | F | F |
| 101492 | * | T | T | F | F |
| 103582 | * | T | T | F | F |
| 107308 | * | T | T | F | F |
| 109755 | * | T | T | F | F |
| 112785 | * | T | T | F | F |
| 112786 | * | T | T | F | F |
| 112787 | * | T | T | F | F |
| 115657 | * | T | T | F | F |
| 135451 | * | T | T | F | F |
| 158387 | * | T | T | F | F |
| 163804 | * | T | T | F | F |
| 165385 | * | T | T | F | F |
| 167105 | * | T | T | F | F |
Independent-effect pairs
All 4 conditions live in <wasmparser::readers::core::exports::Export as wasmparser::readers::FromReader>::from_reader — 4 br_if
c0(branch7393): DEAD view gap →c1(branch7394): GAP view gap →c2(branch7395): GAP view gap →c3(branch7396): GAP view gap →