Decision #993 — imports.rs:187
Status: partial
Truth table
| row | c0 br 3097 | c1 br 3098 | c2 br 3099 | c3 br 3100 | c4 br 3101 | c5 br 3102 | c6 br 3103 | c7 br 3104 | c8 br 3105 | c9 br 3106 | c10 br 3107 | c11 br 3108 | c12 br 3109 | c13 br 3110 | c14 br 3111 | outcome |
|---|
Independent-effect pairs
All 15 conditions live in <wasmparser::readers::core::types::AbstractHeapType as wasmparser::readers::FromReader>::from_reader — 1 br_table_default + 14 br_table_target
c0(branch3097): DEAD view gap →c1(branch3098): DEAD view gap →c2(branch3099): DEAD view gap →c3(branch3100): DEAD view gap →c4(branch3101): DEAD view gap →c5(branch3102): DEAD view gap →c6(branch3103): DEAD view gap →c7(branch3104): DEAD view gap →c8(branch3105): PROVEDc9(branch3106): DEAD view gap →c10(branch3107): DEAD view gap →c11(branch3108): DEAD view gap →c12(branch3109): DEAD view gap →c13(branch3110): DEAD view gap →c14(branch3111): DEAD view gap →