Decision #571 — `binary_reader.rs:1987`

Status: unreached

Truth table

row	c0 br 4328	c1 br 4329	c2 br 4330	c3 br 4331	c4 br 4332	c5 br 4333	c6 br 4334	c7 br 4335	c8 br 4336	c9 br 4337	c10 br 4338	c11 br 4339	c12 br 4340	c13 br 4341	c14 br 4342	c15 br 4343	c16 br 4344	c17 br 4345	outcome

Independent-effect pairs

All 18 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfe_operator — 18 br_if

c0 (branch 4328): DEAD view gap →
c1 (branch 4329): DEAD view gap →
c2 (branch 4330): DEAD view gap →
c3 (branch 4331): DEAD view gap →
c4 (branch 4332): DEAD view gap →
c5 (branch 4333): DEAD view gap →
c6 (branch 4334): DEAD view gap →
c7 (branch 4335): DEAD view gap →
c8 (branch 4336): DEAD view gap →
c9 (branch 4337): DEAD view gap →
c10 (branch 4338): DEAD view gap →
c11 (branch 4339): DEAD view gap →
c12 (branch 4340): DEAD view gap →
c13 (branch 4341): DEAD view gap →
c14 (branch 4342): DEAD view gap →
c15 (branch 4343): DEAD view gap →
c16 (branch 4344): DEAD view gap →
c17 (branch 4345): DEAD view gap →

← back to scry-mcdc