Decision #1444 — `types.rs:308`

Status: unreached

Truth table

row	c0 br 7650	c1 br 7651	c2 br 7652	c3 br 7653	c4 br 7654	c5 br 7655	c6 br 7656	c7 br 7657	c8 br 7658	c9 br 7659	c10 br 7660	c11 br 7661	c12 br 7662	c13 br 7663	c14 br 7664	outcome

Independent-effect pairs

All 15 conditions live in <wasmparser::readers::core::types::RefType as core::fmt::Debug>::fmt — 1 br_table_default + 14 br_table_target

c0 (branch 7650): DEAD view gap →
c1 (branch 7651): DEAD view gap →
c2 (branch 7652): DEAD view gap →
c3 (branch 7653): DEAD view gap →
c4 (branch 7654): DEAD view gap →
c5 (branch 7655): DEAD view gap →
c6 (branch 7656): DEAD view gap →
c7 (branch 7657): DEAD view gap →
c8 (branch 7658): DEAD view gap →
c9 (branch 7659): DEAD view gap →
c10 (branch 7660): DEAD view gap →
c11 (branch 7661): DEAD view gap →
c12 (branch 7662): DEAD view gap →
c13 (branch 7663): DEAD view gap →
c14 (branch 7664): DEAD view gap →

← back to scry-mcdc