Decision #1713 — `imports.rs:218`

Status: unreached

Truth table

row	c0 br 8926	c1 br 8927	c2 br 8928	c3 br 8929	c4 br 8930	c5 br 8931	c6 br 8932	outcome

Independent-effect pairs

All 7 conditions live in <&wasmparser::readers::core::types::ValType as core::fmt::Debug>::fmt — 1 br_table_default + 6 br_table_target

c0 (branch 8926): DEAD view gap →
c1 (branch 8927): DEAD view gap →
c2 (branch 8928): DEAD view gap →
c3 (branch 8929): DEAD view gap →
c4 (branch 8930): DEAD view gap →
c5 (branch 8931): DEAD view gap →
c6 (branch 8932): DEAD view gap →

← back to scry-mcdc