Decision #323 — `lib.rs:3925`

Status: unreached

Truth table

row	c0 br 1945	c1 br 1946	c2 br 1947	c3 br 1948	c4 br 1949	c5 br 1950	c6 br 1951	c7 br 1952	outcome

Independent-effect pairs

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

c0 (branch 1945): DEAD view gap →
c1 (branch 1946): DEAD view gap →
c2 (branch 1947): DEAD view gap →
c3 (branch 1948): DEAD view gap →
c4 (branch 1949): DEAD view gap →
c5 (branch 1950): DEAD view gap →
c6 (branch 1951): DEAD view gap →
c7 (branch 1952): DEAD view gap →

← back to scry-mcdc