Decision #957 — `library/alloc/src/raw_vec/mod.rs:434`

Status: partial

Truth table

row	c0 br 658	c1 br 659	c2 br 660	c3 br 661	c4 br 662	c5 br 663	outcome

Independent-effect pairs

All 6 conditions live in scry_analyze_core::Interp::seq — 1 br_table_default + 5 br_table_target

c0 (branch 658): PROVED
c1 (branch 659): DEAD view gap →
c2 (branch 660): DEAD view gap →
c3 (branch 661): DEAD view gap →
c4 (branch 662): PROVED
c5 (branch 663): PROVED

← back to scry-mcdc