Decision #815 — imports.rs:181
Status: no_witness
Truth table
| row | c0 br 5386 | c1 br 5387 | c2 br 5391 | outcome |
|---|---|---|---|---|
| 49038 | T | F | F | F |
| 49039 | T | F | F | F |
| 53239 | T | F | F | F |
| 53240 | T | F | F | F |
| 57769 | T | F | F | F |
| 57770 | T | F | F | F |
| 61962 | T | F | F | F |
| 61963 | T | F | F | F |
| 96588 | T | F | F | F |
| 96589 | T | F | F | F |
| 103339 | T | F | F | F |
| 103340 | T | F | F | F |
| 106991 | T | F | F | F |
| 106992 | T | F | F | F |
| 109520 | T | F | F | F |
| 109521 | T | F | F | F |
| 112456 | T | F | F | F |
| 112457 | T | F | F | F |
| 115393 | T | F | F | F |
| 115394 | T | F | F | F |
Independent-effect pairs
All 3 conditions live in <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::core::custom::CustomSectionReader>::{closure#0}> — 3 br_if
c0(branch5386): GAP view gap →c1(branch5387): GAP view gap →c2(branch5391): GAP view gap →