Decision #559 — `binary_reader.rs:1859`

Status: unreached

Truth table

row	c0 br 4124	c1 br 4125	c2 br 4127	c3 br 4128	c4 br 4130	c5 br 4131	c6 br 4133	c7 br 4134	c8 br 4136	c9 br 4137	c10 br 4139	c11 br 4140	c12 br 4142	c13 br 4143	c14 br 4145	c15 br 4146	c16 br 4148	c17 br 4149	c18 br 4151	c19 br 4152	c20 br 4154	c21 br 4155	outcome

Independent-effect pairs

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

c0 (branch 4124): DEAD view gap →
c1 (branch 4125): DEAD view gap →
c2 (branch 4127): DEAD view gap →
c3 (branch 4128): DEAD view gap →
c4 (branch 4130): DEAD view gap →
c5 (branch 4131): DEAD view gap →
c6 (branch 4133): DEAD view gap →
c7 (branch 4134): DEAD view gap →
c8 (branch 4136): DEAD view gap →
c9 (branch 4137): DEAD view gap →
c10 (branch 4139): DEAD view gap →
c11 (branch 4140): DEAD view gap →
c12 (branch 4142): DEAD view gap →
c13 (branch 4143): DEAD view gap →
c14 (branch 4145): DEAD view gap →
c15 (branch 4146): DEAD view gap →
c16 (branch 4148): DEAD view gap →
c17 (branch 4149): DEAD view gap →
c18 (branch 4151): DEAD view gap →
c19 (branch 4152): DEAD view gap →
c20 (branch 4154): DEAD view gap →
c21 (branch 4155): DEAD view gap →

← back to scry-mcdc