Decision #989 — `library/core/src/ptr/mod.rs:1921`

Status: partial

Truth table

row	c0 br 2388	c1 br 2389	c2 br 2390	c3 br 2391	c4 br 2392	c5 br 2393	c6 br 2394	c7 br 2395	c8 br 2396	outcome

Independent-effect pairs

All 9 conditions live in <core::slice::iter::Iter<T> as core::iter::traits::iterator::Iterator>::any — 1 br_table_default + 8 br_table_target

c0 (branch 2388): DEAD view gap →
c1 (branch 2389): DEAD view gap →
c2 (branch 2390): DEAD view gap →
c3 (branch 2391): DEAD view gap →
c4 (branch 2392): DEAD view gap →
c5 (branch 2393): DEAD view gap →
c6 (branch 2394): DEAD view gap →
c7 (branch 2395): DEAD view gap →
c8 (branch 2396): PROVED

← back to scry-mcdc