Decision #745 — imports.rs:108
Status: no_witness
Truth table
| row | c0 br 5359 | c1 br 5360 | c2 br 5362 | outcome |
|---|---|---|---|---|
| 1893 | T | * | F | F |
| 1894 | T | * | F | F |
| 4930 | T | * | F | F |
| 4931 | T | * | F | F |
| 7933 | T | * | F | F |
| 7934 | T | * | F | F |
| 10098 | T | * | F | F |
| 11243 | T | * | F | F |
| 12337 | T | * | F | F |
| 18653 | T | * | F | F |
| 26368 | T | * | F | F |
| 32233 | T | * | F | F |
| 38171 | T | * | F | F |
| 41750 | T | * | F | F |
| 41751 | T | * | F | F |
| 44799 | T | * | F | F |
| 44800 | T | * | F | F |
| 48241 | T | * | F | F |
| 48242 | T | * | F | F |
| 51290 | T | * | F | F |
| 51291 | T | * | F | F |
| 60130 | T | * | F | F |
| 69902 | T | * | F | F |
| 74387 | T | * | F | F |
| 77862 | T | * | F | F |
| 79996 | T | * | F | F |
| 81321 | T | * | F | F |
| 82505 | T | * | F | F |
| 83570 | T | * | F | F |
| 84823 | T | * | F | F |
| 86803 | T | * | F | F |
| 88151 | T | * | F | F |
| 90084 | T | * | F | F |
| 91579 | T | * | F | F |
| 107944 | T | * | F | F |
| 126807 | T | * | F | F |
| 130485 | T | * | F | F |
| 131672 | T | * | F | F |
| 132996 | T | * | F | F |
Independent-effect pairs
All 3 conditions live in <wasmparser::readers::core::types::RecGroup as wasmparser::readers::FromReader>::from_reader — 3 br_if
c0(branch5359): GAP view gap →c1(branch5360): DEAD view gap →c2(branch5362): GAP view gap →