Decision #370 — `lib.rs:323`

Status: unreached

Truth table

row	c0 br 2611	c1 br 2612	c2 br 2615	c3 br 2616	outcome

Independent-effect pairs

All 4 conditions live in core::slice::sort::unstable::heapsort::heapsort — 4 br_if

c0 (branch 2611): DEAD view gap →
c1 (branch 2612): DEAD view gap →
c2 (branch 2615): DEAD view gap →
c3 (branch 2616): DEAD view gap →

← back to scry-mcdc