Decision #565 — `binary_reader.rs:1917`

Status: unreached

Truth table

row	c0 br 4273	c1 br 4274	c2 br 4275	c3 br 4276	c4 br 4277	c5 br 4279	c6 br 4280	c7 br 4281	c8 br 4282	c9 br 4283	c10 br 4284	outcome

Independent-effect pairs

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

c0 (branch 4273): DEAD view gap →
c1 (branch 4274): DEAD view gap →
c2 (branch 4275): DEAD view gap →
c3 (branch 4276): DEAD view gap →
c4 (branch 4277): DEAD view gap →
c5 (branch 4279): DEAD view gap →
c6 (branch 4280): DEAD view gap →
c7 (branch 4281): DEAD view gap →
c8 (branch 4282): DEAD view gap →
c9 (branch 4283): DEAD view gap →
c10 (branch 4284): DEAD view gap →

← back to scry-mcdc