Decision #1009 — `binary_reader.rs:524`

Status: unreached

Truth table

row	c0 br 4451	c1 br 4452	c2 br 4453	c3 br 4454	c4 br 4455	c5 br 4456	c6 br 4457	c7 br 4458	c8 br 4459	c9 br 4460	c10 br 4461	c11 br 4462	c12 br 4463	c13 br 4464	c14 br 4465	outcome

Independent-effect pairs

All 15 conditions live in wasmparser::readers::core::types::RefType::new — 1 br_table_default + 14 br_table_target

c0 (branch 4451): DEAD view gap →
c1 (branch 4452): DEAD view gap →
c2 (branch 4453): DEAD view gap →
c3 (branch 4454): DEAD view gap →
c4 (branch 4455): DEAD view gap →
c5 (branch 4456): DEAD view gap →
c6 (branch 4457): DEAD view gap →
c7 (branch 4458): DEAD view gap →
c8 (branch 4459): DEAD view gap →
c9 (branch 4460): DEAD view gap →
c10 (branch 4461): DEAD view gap →
c11 (branch 4462): DEAD view gap →
c12 (branch 4463): DEAD view gap →
c13 (branch 4464): DEAD view gap →
c14 (branch 4465): DEAD view gap →

← back to scry-mcdc