Decision #1281 — imports.rs:108
Status: no_witness
Truth table
| row | c0 br 8634 | c1 br 8635 | outcome |
|---|---|---|---|
| 3264 | F | * | T |
| 10221 | F | * | T |
| 17074 | F | * | T |
Independent-effect pairs
c0(branch8634): GAP view gap →<wasmparser::readers::core::tables::Table as wasmparser::readers::FromReader>::from_reader· br_ifc1(branch8635): DEAD view gap →<wasmparser::readers::core::tables::Table as wasmparser::readers::FromReader>::from_reader· br_if