Decision #1011 — `lib.rs:1301`

Status: partial

Truth table

row	c0 br 4688	c1 br 4689	c2 br 4690	c3 br 4691	c4 br 4692	c5 br 4693	c6 br 4694	c7 br 4695	c8 br 4696	c9 br 4697	c10 br 4698	c11 br 4699	c12 br 4700	c13 br 4701	c14 br 4702	outcome

Independent-effect pairs

All 15 conditions live in wasmparser::parser::Parser::parse_reader — 1 br_table_default + 14 br_table_target

c0 (branch 4688): PROVED
c1 (branch 4689): PROVED
c2 (branch 4690): DEAD view gap →
c3 (branch 4691): PROVED
c4 (branch 4692): PROVED
c5 (branch 4693): PROVED
c6 (branch 4694): PROVED
c7 (branch 4695): PROVED
c8 (branch 4696): DEAD view gap →
c9 (branch 4697): PROVED
c10 (branch 4698): PROVED
c11 (branch 4699): DEAD view gap →
c12 (branch 4700): DEAD view gap →
c13 (branch 4701): DEAD view gap →
c14 (branch 4702): DEAD view gap →

← back to scry-mcdc