Decision #1445 — `imports.rs:221`

Status: unreached

Truth table

row	c0 br 7669	c1 br 7670	c2 br 7671	c3 br 7672	c4 br 7673	c5 br 7674	c6 br 7675	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 7669): DEAD view gap →
c1 (branch 7670): DEAD view gap →
c2 (branch 7671): DEAD view gap →
c3 (branch 7672): DEAD view gap →
c4 (branch 7673): DEAD view gap →
c5 (branch 7674): DEAD view gap →
c6 (branch 7675): DEAD view gap →

← back to scry-mcdc