Decision #938 — `library/alloc/src/slice.rs:432`

Status: full_mcdc

Truth table

row	c0 br 72	c1 br 73	c2 br 74	outcome

Independent-effect pairs

All 3 conditions live in <core::iter::adapters::map::Map<I,F> as core::iter::traits::iterator::Iterator>::fold — 1 br_table_default + 2 br_table_target

c0 (branch 72): PROVED
c1 (branch 73): PROVED
c2 (branch 74): PROVED

← back to scry-mcdc

Decision #938 — library/alloc/src/slice.rs:432

Truth table

Independent-effect pairs

Decision #938 — `library/alloc/src/slice.rs:432`