Decision #389 — `lib.rs:5571`

Status: unreached

Truth table

row	c0 br 2513	c1 br 2514	c2 br 2515	c3 br 2516	c4 br 2517	c5 br 2518	c6 br 2519	c7 br 2520	c8 br 2521	c9 br 2522	outcome

Independent-effect pairs

All 10 conditions live in <scry_analyze_core::Interp>::seq — 10 br_if

c0 (branch 2513): DEAD view gap →
c1 (branch 2514): DEAD view gap →
c2 (branch 2515): DEAD view gap →
c3 (branch 2516): DEAD view gap →
c4 (branch 2517): DEAD view gap →
c5 (branch 2518): DEAD view gap →
c6 (branch 2519): DEAD view gap →
c7 (branch 2520): DEAD view gap →
c8 (branch 2521): DEAD view gap →
c9 (branch 2522): DEAD view gap →

← back to scry-mcdc