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

Status: unreached

Truth table

row	c0 br 2753	c1 br 2763	c2 br 2766	c3 br 2767	c4 br 2768	c5 br 2776	c6 br 2779	outcome

Independent-effect pairs

All 7 conditions live in scry_octagon::assign_copy — 7 br_if

c0 (branch 2753): DEAD view gap →
c1 (branch 2763): DEAD view gap →
c2 (branch 2766): DEAD view gap →
c3 (branch 2767): DEAD view gap →
c4 (branch 2768): DEAD view gap →
c5 (branch 2776): DEAD view gap →
c6 (branch 2779): DEAD view gap →

← back to scry-mcdc