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

Status: unreached

Truth table

row	c0 br 5028	c1 br 5031	c2 br 5032	c3 br 5043	c4 br 5046	c5 br 5047	c6 br 5050	c7 br 5052	c8 br 5053	c9 br 5058	outcome

Independent-effect pairs

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

c0 (branch 5028): DEAD view gap →
c1 (branch 5031): DEAD view gap →
c2 (branch 5032): DEAD view gap →
c3 (branch 5043): DEAD view gap →
c4 (branch 5046): DEAD view gap →
c5 (branch 5047): DEAD view gap →
c6 (branch 5050): DEAD view gap →
c7 (branch 5052): DEAD view gap →
c8 (branch 5053): DEAD view gap →
c9 (branch 5058): DEAD view gap →

← back to scry-mcdc