Decision #1618 — `library/alloc/src/raw_vec/mod.rs:435`

Status: partial

Truth table

row	c0 br 2967	c1 br 2968	c2 br 2969	c3 br 2970	c4 br 2971	c5 br 2972	c6 br 2973	c7 br 2974	c8 br 2975	c9 br 2976	c10 br 2977	c11 br 2978	c12 br 2979	c13 br 2980	outcome

Independent-effect pairs

All 14 conditions live in <scry_analyze_core::Interp>::seq — 2 br_table_default + 12 br_table_target

c0 (branch 2967): PROVED
c1 (branch 2968): DEAD view gap →
c2 (branch 2969): DEAD view gap →
c3 (branch 2970): DEAD view gap →
c4 (branch 2971): DEAD view gap →
c5 (branch 2972): PROVED
c6 (branch 2973): DEAD view gap →
c7 (branch 2974): PROVED
c8 (branch 2975): DEAD view gap →
c9 (branch 2976): DEAD view gap →
c10 (branch 2977): DEAD view gap →
c11 (branch 2978): DEAD view gap →
c12 (branch 2979): PROVED
c13 (branch 2980): DEAD view gap →

← back to scry-mcdc