Decision #367 — `library/core/src/slice/sort/unstable/quicksort.rs:325`

Status: unreached

Truth table

row	c0 br 2590	c1 br 2591	c2 br 2592	c3 br 2593	outcome

Independent-effect pairs

All 4 conditions live in core::slice::sort::stable::merge::merge — 4 br_if

c0 (branch 2590): DEAD view gap →
c1 (branch 2591): DEAD view gap →
c2 (branch 2592): DEAD view gap →
c3 (branch 2593): DEAD view gap →

← back to scry-mcdc