Decision #566 — `binary_reader.rs:1928`

Status: unreached

Truth table

row	c0 br 4285	c1 br 4286	c2 br 4287	c3 br 4288	c4 br 4289	c5 br 4291	c6 br 4292	c7 br 4293	c8 br 4294	outcome

Independent-effect pairs

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

c0 (branch 4285): DEAD view gap →
c1 (branch 4286): DEAD view gap →
c2 (branch 4287): DEAD view gap →
c3 (branch 4288): DEAD view gap →
c4 (branch 4289): DEAD view gap →
c5 (branch 4291): DEAD view gap →
c6 (branch 4292): DEAD view gap →
c7 (branch 4293): DEAD view gap →
c8 (branch 4294): DEAD view gap →

← back to scry-mcdc