Decision #345 — `lib.rs:5348`

Status: unreached

Truth table

row	c0 br 2329	c1 br 2330	c2 br 2331	c3 br 2332	c4 br 2333	c5 br 2334	c6 br 2335	c7 br 2336	c8 br 2337	c9 br 2338	c10 br 2339	c11 br 2340	outcome

Independent-effect pairs

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

c0 (branch 2329): DEAD view gap →
c1 (branch 2330): DEAD view gap →
c2 (branch 2331): DEAD view gap →
c3 (branch 2332): DEAD view gap →
c4 (branch 2333): DEAD view gap →
c5 (branch 2334): DEAD view gap →
c6 (branch 2335): DEAD view gap →
c7 (branch 2336): DEAD view gap →
c8 (branch 2337): DEAD view gap →
c9 (branch 2338): DEAD view gap →
c10 (branch 2339): DEAD view gap →
c11 (branch 2340): DEAD view gap →

← back to scry-mcdc