Decision #772 — `library/core/src/slice/index.rs:272`

Status: unreached

Truth table

row	c0 br 5154	c1 br 5159	c2 br 5163	c3 br 5167	outcome

Independent-effect pairs

All 4 conditions live in scry_octagon::assign_add_const — 4 br_if

c0 (branch 5154): DEAD view gap →
c1 (branch 5159): DEAD view gap →
c2 (branch 5163): DEAD view gap →
c3 (branch 5167): DEAD view gap →

← back to scry-mcdc