Decision #513 — `binary_reader.rs:1186`

Status: unreached

Truth table

row	c0 br 3712	c1 br 3714	c2 br 3715	c3 br 3717	c4 br 3720	c5 br 3721	c6 br 3722	outcome

Independent-effect pairs

All 7 conditions live in wasmparser::binary_reader::BinaryReader::visit_operator — 7 br_if

c0 (branch 3712): DEAD view gap →
c1 (branch 3714): DEAD view gap →
c2 (branch 3715): DEAD view gap →
c3 (branch 3717): DEAD view gap →
c4 (branch 3720): DEAD view gap →
c5 (branch 3721): DEAD view gap →
c6 (branch 3722): DEAD view gap →

← back to scry-mcdc