Decision #375 — `lib.rs:5208`

Status: unreached

Truth table

row	c0 br 2393	c1 br 2394	c2 br 2395	c3 br 2396	c4 br 2397	c5 br 2398	c6 br 2399	c7 br 2400	c8 br 2401	c9 br 2402	c10 br 2403	c11 br 2404	c12 br 2405	c13 br 2406	c14 br 2407	c15 br 2408	c16 br 2409	outcome

Independent-effect pairs

All 17 conditions live in scry_analyze_core::resolve_sp_global — 17 br_if

c0 (branch 2393): DEAD view gap →
c1 (branch 2394): DEAD view gap →
c2 (branch 2395): DEAD view gap →
c3 (branch 2396): DEAD view gap →
c4 (branch 2397): DEAD view gap →
c5 (branch 2398): DEAD view gap →
c6 (branch 2399): DEAD view gap →
c7 (branch 2400): DEAD view gap →
c8 (branch 2401): DEAD view gap →
c9 (branch 2402): DEAD view gap →
c10 (branch 2403): DEAD view gap →
c11 (branch 2404): DEAD view gap →
c12 (branch 2405): DEAD view gap →
c13 (branch 2406): DEAD view gap →
c14 (branch 2407): DEAD view gap →
c15 (branch 2408): DEAD view gap →
c16 (branch 2409): DEAD view gap →

← back to scry-mcdc