Decision #963 — `library/alloc/src/vec/mod.rs:1041`

Status: partial

Truth table

row	c0 br 1080	c1 br 1081	c2 br 1082	c3 br 1083	c4 br 1084	c5 br 1085	c6 br 1086	outcome

Independent-effect pairs

All 7 conditions live in scry_analyze_core::refine_octagon_rel — 1 br_table_default + 6 br_table_target

c0 (branch 1080): DEAD view gap →
c1 (branch 1081): DEAD view gap →
c2 (branch 1082): DEAD view gap →
c3 (branch 1083): DEAD view gap →
c4 (branch 1084): DEAD view gap →
c5 (branch 1085): PROVED
c6 (branch 1086): DEAD view gap →

← back to scry-mcdc