Decision #213 — `library/alloc/src/vec/mod.rs:2709`

Status: no_witness

Truth table

row	c0 br 1743	c1 br 1744	c2 br 1745	c3 br 1746	c4 br 1747	c5 br 1748	c6 br 1751	c7 br 1752	c8 br 1753	c9 br 1754	c10 br 1755	c11 br 1757	outcome
645	*	*	*	*	*	*	*	*	*	*	*	T	T
646	*	*	*	*	*	*	*	*	*	*	*	T	T
647	*	*	*	*	*	*	*	*	*	*	*	T	T
648	*	*	*	*	*	*	*	*	*	*	*	T	T
649	*	*	*	*	*	*	*	*	*	*	*	F	T
3685	*	*	*	*	*	*	*	*	*	*	*	T	T
3686	*	*	*	*	*	*	*	*	*	*	*	T	T
3687	*	*	*	*	*	*	*	*	*	*	*	T	T
3688	*	*	*	*	*	*	*	*	*	*	*	T	T
3689	*	*	*	*	*	*	*	*	*	*	*	F	T
6630	*	*	*	*	*	*	*	*	*	*	*	T	T
6631	*	*	*	*	*	*	*	*	*	*	*	T	T
6632	*	*	*	*	*	*	*	*	*	*	*	T	T
6633	*	*	*	*	*	*	*	*	*	*	*	T	T
6634	*	*	*	*	*	*	*	*	*	*	*	F	T
9614	*	*	*	*	*	*	*	*	*	*	*	F	T
10762	*	*	*	*	*	*	*	*	*	*	*	F	T
11853	*	*	*	*	*	*	*	*	*	*	*	F	T
13517	*	*	*	*	*	*	*	*	*	*	*	F	T
21235	*	*	*	*	*	*	*	*	*	*	*	F	T
29130	*	*	*	*	*	*	*	*	*	*	*	F	T
35068	*	*	*	*	*	*	*	*	*	*	*	F	T
40718	*	*	*	*	*	*	*	*	*	*	*	T	T
40719	*	*	*	*	*	*	*	*	*	F	*	T	T
40720	*	*	*	*	*	*	*	*	*	*	*	F	T
43729	*	*	*	*	*	*	*	*	*	*	*	T	T
43730	*	*	*	*	*	*	*	*	*	F	*	T	T
43731	*	*	*	*	*	*	*	*	*	*	*	F	T
47182	*	*	*	*	*	*	*	*	*	*	*	T	T
47183	*	*	*	*	*	*	*	*	*	F	*	T	T
47184	*	*	*	*	*	*	*	*	*	*	*	F	T
50258	*	*	*	*	*	*	*	*	*	*	*	T	T
50259	*	*	*	*	*	*	*	*	*	F	*	T	T
50260	*	*	*	*	*	*	*	*	*	*	*	F	T
53472	*	*	*	*	*	*	*	*	*	*	*	F	T
63244	*	*	*	*	*	*	*	*	*	*	*	F	T
72930	*	*	*	*	*	*	*	*	*	*	*	T	T
72931	*	*	*	*	*	*	*	*	*	*	*	T	T
72932	*	*	*	*	*	*	*	*	*	*	*	T	T
72933	*	*	*	*	*	*	*	*	*	*	*	T	T
72934	*	*	*	*	*	*	*	*	*	*	*	T	T
72935	*	*	*	*	*	*	*	*	*	*	*	F	T
76405	*	*	*	*	*	*	*	*	*	*	*	T	T
76406	*	*	*	*	*	*	*	*	*	*	*	T	T
76407	*	*	*	*	*	*	*	*	*	*	*	T	T
76408	*	*	*	*	*	*	*	*	*	*	*	T	T
76409	*	*	*	*	*	*	*	*	*	*	*	T	T
76410	*	*	*	*	*	*	*	*	*	*	*	F	T
79305	*	*	*	*	*	*	*	*	*	*	*	T	T
79306	*	*	*	*	*	*	*	*	*	*	*	T	T
79307	*	*	*	*	*	*	*	*	*	*	*	F	T
80827	*	*	*	*	*	*	*	*	*	*	*	F	T
82014	*	*	*	*	*	*	*	*	*	*	*	F	T
83076	*	*	*	*	*	*	*	*	*	*	*	F	T
84267	*	*	*	*	*	*	*	*	*	*	*	F	T
85842	*	*	*	*	*	*	*	*	*	*	*	T	T
85843	*	*	*	*	*	*	*	*	*	*	*	T	T
85844	*	*	*	*	*	*	*	*	*	*	*	F	T
87632	*	*	*	*	*	*	*	*	*	*	*	F	T
89153	*	*	*	*	*	*	*	*	*	*	*	T	T
89154	*	*	*	*	*	*	*	*	*	*	*	F	T
90909	*	*	*	*	*	*	*	*	*	F	*	F	T
93254	*	*	*	*	*	*	*	*	*	*	*	F	T
112117	*	*	*	*	*	*	*	*	*	*	*	F	T
130047	*	*	*	*	*	*	*	*	*	*	*	F	T
131222	*	*	*	*	*	*	*	*	*	*	*	F	T
132549	*	*	*	*	*	*	*	*	*	*	*	F	T

All 12 conditions live in scry_analyze_core::recursive_flags_from_sccs — 12 br_if