Decision #276 — `lib.rs:1117`

Status: unreached

Truth table

row	c0 br 2208	c1 br 2209	c2 br 2210	c3 br 2211	c4 br 2214	c5 br 2215	c6 br 2217	c7 br 2222	c8 br 2223	outcome

Independent-effect pairs

All 9 conditions live in scry_analyze_core::analyze — 9 br_if

c0 (branch 2208): DEAD view gap →
c1 (branch 2209): DEAD view gap →
c2 (branch 2210): DEAD view gap →
c3 (branch 2211): DEAD view gap →
c4 (branch 2214): DEAD view gap →
c5 (branch 2215): DEAD view gap →
c6 (branch 2217): DEAD view gap →
c7 (branch 2222): DEAD view gap →
c8 (branch 2223): DEAD view gap →

← back to scry-mcdc