Decision #481 — `library/alloc/src/vec/mod.rs:2844`

Status: no_witness

Truth table

row	c0 br 3300	c1 br 3301	c2 br 3303	c3 br 3304	c4 br 3307	c5 br 3309	c6 br 3310	c7 br 3311	outcome
665	*	*	*	*	*	*	T	*	T
666	*	*	*	*	*	*	F	T	T
667	*	*	*	*	*	*	T	*	T
668	*	*	*	*	*	*	F	T	T
669	*	*	*	*	*	*	T	*	T
670	*	*	*	*	*	*	F	T	T
671	*	*	*	*	*	*	T	*	T
672	*	*	*	*	*	*	T	*	T
673	*	*	*	*	*	*	F	T	T
674	*	*	*	*	*	*	T	*	T
675	*	*	*	*	*	*	T	*	T
676	*	*	*	*	*	*	F	T	T
4459	*	*	*	*	*	*	T	*	T
4460	*	*	*	*	*	*	F	T	T
4461	*	*	*	*	*	*	T	*	T
4462	*	*	*	*	*	*	F	T	T
4463	*	*	*	*	*	*	T	*	T
4464	*	*	*	*	*	*	F	T	T
4465	*	*	*	*	*	*	T	*	T
4466	*	*	*	*	*	*	T	*	T
4467	*	*	*	*	*	*	F	T	T
4468	*	*	*	*	*	*	T	*	T
4469	*	*	*	*	*	*	T	*	T
4470	*	*	*	*	*	*	F	T	T
8189	*	*	*	*	*	*	T	*	T
8190	*	*	*	*	*	*	F	T	T
8191	*	*	*	*	*	*	T	*	T
8192	*	*	*	*	*	*	F	T	T
8193	*	*	*	*	*	*	T	*	T
8194	*	*	*	*	*	*	F	T	T
8195	*	*	*	*	*	*	T	*	T
8196	*	*	*	*	*	*	T	*	T
8197	*	*	*	*	*	*	F	T	T
8198	*	*	*	*	*	*	T	*	T
8199	*	*	*	*	*	*	T	*	T
8200	*	*	*	*	*	*	F	T	T
11889	*	*	*	*	*	*	T	*	T
11890	*	*	*	*	*	*	T	*	T
11891	*	*	*	*	*	*	T	*	T
11892	*	*	*	*	*	*	T	*	T
11893	*	*	*	*	*	*	T	*	T
11894	*	*	*	*	*	*	F	T	T
13265	*	*	*	*	*	*	T	*	T
13266	*	*	*	*	*	*	T	*	T
13267	*	*	*	*	*	*	T	*	T
13268	*	*	*	*	*	*	T	*	T
13269	*	*	*	*	*	*	T	*	T
13270	*	*	*	*	*	*	F	T	T
14590	*	*	*	*	*	*	T	*	T
14591	*	*	*	*	*	*	T	*	T
14592	*	*	*	*	*	*	T	*	T
14593	*	*	*	*	*	*	T	*	T
14594	*	*	*	*	*	*	T	*	T
14595	*	*	*	*	*	*	F	T	T
16453	*	*	*	*	*	*	T	*	T
16454	*	*	*	*	*	*	T	*	T
16455	*	*	*	*	*	*	T	*	T
16456	*	*	*	*	*	*	T	*	T
16457	*	*	*	*	*	*	T	*	T
16458	*	*	*	*	*	*	T	*	T
16459	*	*	*	*	*	*	T	*	T
16460	*	*	*	*	*	*	T	*	T
16461	*	*	*	*	*	*	T	*	T
16462	*	*	*	*	*	*	T	*	T
16463	*	*	*	*	*	*	T	*	T
16464	*	*	*	*	*	*	T	*	T
16465	*	*	*	*	*	*	T	*	T
16466	*	*	*	*	*	*	T	*	T
16467	*	*	*	*	*	*	T	*	T
16468	*	*	*	*	*	*	F	T	T
25933	*	*	*	*	*	*	T	*	T
25934	*	*	*	*	*	*	T	*	T
25935	*	*	*	*	*	*	T	*	T
25936	*	*	*	*	*	*	T	*	T
25937	*	*	*	*	*	*	T	*	T
25938	*	*	*	*	*	*	T	*	T
25939	*	*	*	*	*	*	T	*	T
25940	*	*	*	*	*	*	T	*	T
25941	*	*	*	*	*	*	T	*	T
25942	*	*	*	*	*	*	T	*	T
25943	*	*	*	*	*	*	T	*	T
25944	*	*	*	*	*	*	T	*	T
25945	*	*	*	*	*	*	T	*	T
25946	*	*	*	*	*	*	T	*	T
25947	*	*	*	*	*	*	T	*	T
25948	*	*	*	*	*	*	F	T	T
35562	*	*	*	*	*	*	T	*	T
35563	*	*	*	*	*	*	T	*	T
35564	*	*	*	*	*	*	T	*	T
35565	*	*	*	*	*	*	T	*	T
35566	*	*	*	*	*	*	T	*	T
35567	*	*	*	*	*	*	T	*	T
35568	*	*	*	*	*	*	T	*	T
35569	*	*	*	*	*	*	T	*	T
35570	*	*	*	*	*	*	T	*	T
35571	*	*	*	*	*	*	T	*	T
35572	*	*	*	*	*	*	T	*	T
35573	*	*	*	*	*	*	T	*	T
35574	*	*	*	*	*	*	T	*	T
35575	*	*	*	*	*	*	T	*	T
35576	*	*	*	*	*	*	F	T	T
41775	*	*	*	*	*	*	T	*	T
41776	*	*	*	*	*	*	T	*	T
41777	*	*	*	*	*	*	T	*	T
41778	*	*	*	*	*	*	T	*	T
41779	*	*	*	*	*	*	T	*	T
41780	*	*	*	*	*	*	T	*	T
41781	*	*	*	*	*	*	T	*	T
41782	*	*	*	*	*	*	T	*	T
41783	*	*	*	*	*	*	T	*	T
41784	*	*	*	*	*	*	T	*	T
41785	*	*	*	*	*	*	T	*	T
41786	*	*	*	*	*	*	T	*	T
41787	*	*	*	*	*	*	T	*	T
41788	*	*	*	*	*	*	T	*	T
41789	*	*	*	*	*	*	F	T	T
47825	*	*	*	*	*	*	T	*	T
47826	*	*	*	*	*	*	T	*	T
47827	*	*	*	*	*	*	T	*	T
47828	*	*	*	*	*	*	F	T	T
47829	*	*	*	*	*	F	T	*	T
47830	*	*	*	*	*	*	T	*	T
47831	*	*	*	*	*	*	F	T	T
47832	*	*	*	*	*	*	T	*	T
47833	*	*	*	*	*	*	T	*	T
47834	*	*	*	*	*	F	T	*	T
47835	*	*	*	*	*	*	T	*	T
47836	*	*	*	*	*	*	T	*	T
47837	*	*	*	*	*	*	T	*	T
47838	*	*	*	*	*	*	F	T	T
51994	*	*	*	*	*	*	T	*	T
51995	*	*	*	*	*	*	T	*	T
51996	*	*	*	*	*	*	T	*	T
51997	*	*	*	*	*	*	F	T	T
51998	*	*	*	*	*	F	T	*	T
51999	*	*	*	*	*	*	T	*	T
52000	*	*	*	*	*	*	F	T	T
52001	*	*	*	*	*	*	T	*	T
52002	*	*	*	*	*	*	T	*	T
52003	*	*	*	*	*	F	T	*	T
52004	*	*	*	*	*	*	T	*	T
52005	*	*	*	*	*	*	T	*	T
52006	*	*	*	*	*	*	T	*	T
52007	*	*	*	*	*	*	F	T	T
56532	*	*	*	*	*	*	T	*	T
56533	*	*	*	*	*	*	T	*	T
56534	*	*	*	*	*	*	T	*	T
56535	*	*	*	*	*	*	F	T	T
56536	*	*	*	*	*	F	T	*	T
56537	*	*	*	*	*	*	T	*	T
56538	*	*	*	*	*	*	F	T	T
56539	*	*	*	*	*	*	T	*	T
56540	*	*	*	*	*	*	T	*	T
56541	*	*	*	*	*	F	T	*	T
56542	*	*	*	*	*	*	T	*	T
56543	*	*	*	*	*	*	T	*	T
56544	*	*	*	*	*	*	T	*	T
56545	*	*	*	*	*	*	F	T	T
60749	*	*	*	*	*	*	T	*	T
60750	*	*	*	*	*	*	T	*	T
60751	*	*	*	*	*	*	T	*	T
60752	*	*	*	*	*	*	F	T	T
60753	*	*	*	*	*	F	T	*	T
60754	*	*	*	*	*	*	T	*	T
60755	*	*	*	*	*	*	F	T	T
60756	*	*	*	*	*	*	T	*	T
60757	*	*	*	*	*	*	T	*	T
60758	*	*	*	*	*	F	T	*	T
60759	*	*	*	*	*	*	T	*	T
60760	*	*	*	*	*	*	T	*	T
60761	*	*	*	*	*	*	T	*	T
60762	*	*	*	*	*	*	F	T	T
65049	*	*	*	*	*	*	T	*	T
65050	*	*	*	*	*	*	T	*	T
65051	*	*	*	*	*	*	T	*	T
65052	*	*	*	*	*	*	T	*	T
65053	*	*	*	*	*	*	T	*	T
65054	*	*	*	*	*	*	T	*	T
65055	*	*	*	*	*	*	T	*	T
65056	*	*	*	*	*	*	T	*	T
65057	*	*	*	*	*	*	T	*	T
65058	*	*	*	*	*	*	T	*	T
65059	*	*	*	*	*	*	T	*	T
65060	*	*	*	*	*	*	T	*	T
65061	*	*	*	*	*	*	T	*	T
65062	*	*	*	*	*	*	T	*	T
65063	*	*	*	*	*	*	T	*	T
65064	*	*	*	*	*	*	F	T	T
76562	*	*	*	*	*	*	T	*	T
76563	*	*	*	*	*	*	T	*	T
76564	*	*	*	*	*	*	T	*	T
76565	*	*	*	*	*	*	T	*	T
76566	*	*	*	*	*	*	T	*	T
76567	*	*	*	*	*	*	T	*	T
76568	*	*	*	*	*	*	T	*	T
76569	*	*	*	*	*	*	T	*	T
76570	*	*	*	*	*	*	T	*	T
76571	*	*	*	*	*	*	T	*	T
76572	*	*	*	*	*	*	T	*	T
76573	*	*	*	*	*	*	T	*	T
76574	*	*	*	*	*	*	T	*	T
76575	*	*	*	*	*	*	T	*	T
76576	*	*	*	*	*	*	T	*	T
76577	*	*	*	*	*	*	F	T	T
88118	*	*	*	*	*	*	T	*	T
88119	*	*	*	*	*	*	T	*	T
88120	*	*	*	*	*	*	T	*	T
88121	*	*	*	*	*	*	F	T	T
88122	*	*	*	*	*	*	T	*	T
88123	*	*	*	*	*	*	T	*	T
88124	*	*	*	*	*	*	T	*	T
88125	*	*	*	*	*	*	F	T	T
88126	*	*	*	*	*	*	T	*	T
88127	*	*	*	*	*	*	T	*	T
88128	*	*	*	*	*	*	T	*	T
88129	*	*	*	*	*	*	F	T	T
88130	*	*	*	*	*	*	T	*	T
88131	*	*	*	*	*	*	T	*	T
88132	*	*	*	*	*	*	T	*	T
88133	*	*	*	*	*	*	F	T	T
88134	*	*	*	*	*	*	T	*	T
88135	*	*	*	*	*	*	T	*	T
88136	*	*	*	*	*	*	T	*	T
88137	*	*	*	*	*	*	F	T	T
88138	*	*	*	*	*	*	T	*	T
88139	*	*	*	*	*	*	T	*	T
88140	*	*	*	*	*	*	T	*	T
88141	*	*	*	*	*	*	F	T	T
92386	*	*	*	*	*	*	T	*	T
92387	*	*	*	*	*	*	T	*	T
92388	*	*	*	*	*	*	T	*	T
92389	*	*	*	*	*	*	F	T	T
92390	*	*	*	*	*	*	T	*	T
92391	*	*	*	*	*	*	T	*	T
92392	*	*	*	*	*	*	T	*	T
92393	*	*	*	*	*	*	F	T	T
92394	*	*	*	*	*	*	T	*	T
92395	*	*	*	*	*	*	T	*	T
92396	*	*	*	*	*	*	T	*	T
92397	*	*	*	*	*	*	F	T	T
92398	*	*	*	*	*	*	T	*	T
92399	*	*	*	*	*	*	T	*	T
92400	*	*	*	*	*	*	T	*	T
92401	*	*	*	*	*	*	F	T	T
92402	*	*	*	*	*	*	T	*	T
92403	*	*	*	*	*	*	T	*	T
92404	*	*	*	*	*	*	T	*	T
92405	*	*	*	*	*	*	F	T	T
92406	*	*	*	*	*	*	T	*	T
92407	*	*	*	*	*	*	T	*	T
92408	*	*	*	*	*	*	T	*	T
92409	*	*	*	*	*	*	F	T	T
96027	*	*	*	*	*	F	T	*	T
96028	*	*	*	*	*	*	F	T	T
96029	*	*	*	*	*	*	T	*	T
96030	*	*	*	*	*	*	F	T	T
96031	*	*	*	*	*	*	T	*	T
96032	*	*	*	*	*	*	F	T	T
97952	*	*	*	*	*	*	T	*	T
97953	*	*	*	*	*	*	T	*	T
97954	*	*	*	*	*	*	T	*	T
97955	*	*	*	*	*	*	T	*	T
97956	*	*	*	*	*	*	F	T	T
99469	*	*	*	*	*	*	T	*	T
99470	*	*	*	*	*	*	T	*	T
99471	*	*	*	*	*	*	T	*	T
99472	*	*	*	*	*	*	T	*	T
99473	*	*	*	*	*	*	F	T	T
100885	*	*	*	*	*	*	T	*	T
100886	*	*	*	*	*	*	T	*	T
100887	*	*	*	*	*	*	T	*	T
100888	*	*	*	*	*	*	T	*	T
100889	*	*	*	*	*	*	F	T	T
102564	*	*	*	*	*	*	T	*	T
102565	*	*	*	*	*	*	T	*	T
102566	*	*	*	*	*	*	T	*	T
102567	*	*	*	*	*	*	T	*	T
102568	*	*	*	*	*	*	T	*	T
102569	*	*	*	*	*	*	T	*	T
102570	*	*	*	*	*	*	T	*	T
102571	*	*	*	*	*	*	T	*	T
102572	*	*	*	*	*	*	T	*	T
102573	*	*	*	*	*	*	F	T	T
105669	*	*	*	*	*	*	T	*	T
105670	*	*	*	*	*	*	T	*	T
105671	*	*	*	*	*	*	T	*	T
105672	*	*	*	*	*	*	T	*	T
105673	*	*	*	*	*	*	T	*	T
105674	*	*	*	*	*	*	T	*	T
105675	*	*	*	*	*	*	T	*	T
105676	*	*	*	*	*	*	T	*	T
105677	*	*	*	*	*	*	T	*	T
105678	*	*	*	*	*	*	F	T	T
105679	*	*	*	*	*	*	T	*	T
105680	*	*	*	*	*	*	T	*	T
105681	*	*	*	*	*	*	T	*	T
105682	*	*	*	*	*	F	T	*	T
105683	*	*	*	*	*	*	T	*	T
105684	*	*	*	*	*	*	T	*	T
105685	*	*	*	*	*	*	T	*	T
105686	*	*	*	*	*	*	T	*	T
105687	*	*	*	*	*	*	T	*	T
105688	*	*	*	*	*	*	F	T	T
105689	*	*	*	*	*	*	T	*	T
105690	*	*	*	*	*	*	T	*	T
105691	*	*	*	*	*	*	T	*	T
105692	*	*	*	*	*	F	T	*	T
105693	*	*	*	*	*	*	T	*	T
105694	*	*	*	*	*	*	T	*	T
105695	*	*	*	*	*	*	T	*	T
105696	*	*	*	*	*	*	T	*	T
105697	*	*	*	*	*	*	T	*	T
105698	*	*	*	*	*	*	F	T	T
108937	*	*	*	*	*	*	T	*	T
108938	*	*	*	*	*	*	T	*	T
108939	*	*	*	*	*	*	T	*	T
108940	*	*	*	*	*	*	T	*	T
108941	*	*	*	*	*	*	T	*	T
108942	*	*	*	*	*	*	F	T	T
111454	*	*	*	*	*	*	T	*	T
111455	*	*	*	*	*	*	T	*	T
111456	*	*	*	*	*	*	T	*	T
111457	*	*	*	*	*	*	T	*	T
111458	*	*	*	*	*	*	T	*	T
111459	*	*	*	*	*	*	T	*	T
111460	*	*	*	*	*	*	T	*	T
111461	*	*	*	*	*	*	T	*	T
111462	*	*	*	*	*	*	T	*	T
111463	*	*	*	*	*	*	T	*	T
111464	*	*	*	*	*	*	T	*	T
111465	*	*	*	*	*	*	T	*	T
111466	*	*	*	*	*	*	T	*	T
111467	*	*	*	*	*	*	T	*	T
111468	*	*	*	*	*	*	T	*	T
111469	*	*	*	*	*	*	T	*	T
111470	*	*	*	*	*	*	F	T	T
111471	*	*	*	*	*	*	T	*	T
111472	*	*	*	*	*	*	T	*	T
111473	*	*	*	*	*	*	T	*	T
111474	*	*	*	*	*	*	T	*	T
111475	*	*	*	*	*	*	T	*	T
111476	*	*	*	*	*	*	T	*	T
111477	*	*	*	*	*	*	T	*	T
111478	*	*	*	*	*	*	T	*	T
111479	*	*	*	*	*	*	T	*	T
111480	*	*	*	*	*	*	T	*	T
111481	*	*	*	*	*	F	T	*	T
111482	*	*	*	*	*	*	T	*	T
111483	*	*	*	*	*	*	T	*	T
111484	*	*	*	*	*	*	T	*	T
111485	*	*	*	*	*	*	T	*	T
111486	*	*	*	*	*	*	T	*	T
111487	*	*	*	*	*	*	F	T	T
114443	*	*	*	*	*	*	T	*	T
114444	*	*	*	*	*	*	T	*	T
114445	*	*	*	*	*	*	T	*	T
114446	*	*	*	*	*	*	T	*	T
114447	*	*	*	*	*	*	T	*	T
114448	*	*	*	*	*	*	T	*	T
114449	*	*	*	*	*	*	T	*	T
114450	*	*	*	*	*	*	T	*	T
114451	*	*	*	*	*	*	T	*	T
114452	*	*	*	*	*	*	T	*	T
114453	*	*	*	*	*	F	T	*	T
114454	*	*	*	*	*	*	T	*	T
114455	*	*	*	*	*	*	T	*	T
114456	*	*	*	*	*	*	T	*	T
114457	*	*	*	*	*	*	T	*	T
114458	*	*	*	*	*	*	T	*	T
114459	*	*	*	*	*	*	T	*	T
114460	*	*	*	*	*	*	T	*	T
114461	*	*	*	*	*	*	T	*	T
114462	*	*	*	*	*	*	F	T	T
118507	*	*	*	*	*	*	T	*	T
118508	*	*	*	*	*	*	T	*	T
118509	*	*	*	*	*	*	T	*	T
118510	*	*	*	*	*	*	T	*	T
118511	*	*	*	*	*	*	T	*	T
118512	*	*	*	*	*	*	T	*	T
118513	*	*	*	*	*	*	T	*	T
118514	*	*	*	*	*	*	T	*	T
118515	*	*	*	*	*	*	T	*	T
118516	*	*	*	*	*	*	T	*	T
118517	*	*	*	*	*	*	T	*	T
118518	*	*	*	*	*	*	T	*	T
118519	*	*	*	*	*	*	T	*	T
118520	*	*	*	*	*	*	T	*	T
118521	*	*	*	*	*	*	T	*	T
118522	*	*	*	*	*	*	T	*	T
118523	*	*	*	*	*	*	F	T	T
141443	*	*	*	*	*	*	T	*	T
141444	*	*	*	*	*	*	T	*	T
141445	*	*	*	*	*	*	T	*	T
141446	*	*	*	*	*	*	T	*	T
141447	*	*	*	*	*	*	T	*	T
141448	*	*	*	*	*	*	T	*	T
141449	*	*	*	*	*	*	T	*	T
141450	*	*	*	*	*	*	T	*	T
141451	*	*	*	*	*	*	T	*	T
141452	*	*	*	*	*	*	T	*	T
141453	*	*	*	*	*	*	T	*	T
141454	*	*	*	*	*	*	T	*	T
141455	*	*	*	*	*	*	T	*	T
141456	*	*	*	*	*	*	T	*	T
141457	*	*	*	*	*	*	T	*	T
141458	*	*	*	*	*	*	T	*	T
141459	*	*	*	*	*	*	F	T	T
163185	*	*	*	*	*	*	T	*	T
163186	*	*	*	*	*	*	T	*	T
163187	*	*	*	*	*	*	T	*	T
163188	*	*	*	*	*	*	F	T	T
164756	*	*	*	*	*	*	T	*	T
164757	*	*	*	*	*	*	T	*	T
164758	*	*	*	*	*	*	T	*	T
164759	*	*	*	*	*	*	F	T	T
166478	*	*	*	*	*	*	T	*	T
166479	*	*	*	*	*	*	T	*	T
166480	*	*	*	*	*	*	T	*	T
166481	*	*	*	*	*	*	F	T	T

Independent-effect pairs

All 8 conditions live in scry_analyze_core::build_static_call_graph — 8 br_if

c0 (branch 3300): DEAD view gap →
c1 (branch 3301): DEAD view gap →
c2 (branch 3303): DEAD view gap →
c3 (branch 3304): DEAD view gap →
c4 (branch 3307): DEAD view gap →
c5 (branch 3309): GAP view gap →
c6 (branch 3310): GAP view gap →
c7 (branch 3311): GAP view gap →

← back to scry-mcdc

Decision #481 — library/alloc/src/vec/mod.rs:2844

Truth table

Independent-effect pairs

Decision #481 — `library/alloc/src/vec/mod.rs:2844`