Decision #859 — `malloc.c:4967`

Status: no_witness

Truth table

row	c0 br 6013	c1 br 6014	outcome
2889	*	F	T
2890	*	F	T
2891	*	F	T
2892	*	F	T
2893	*	F	T
2894	*	F	T
2895	*	F	T
2896	*	F	T
2897	*	F	T
5894	*	F	T
5895	*	F	T
5896	*	F	T
5897	*	F	T
5898	*	F	T
5899	*	F	T
5900	*	F	T
5901	*	F	T
5902	*	F	T
9037	*	F	T
9038	*	F	T
9039	*	F	T
9040	*	F	T
9041	*	F	T
9042	*	F	T
9043	*	F	T
9044	*	F	T
9045	*	F	T
9046	*	F	T
10473	*	F	T
11603	*	F	T
12712	*	F	T
20431	*	F	T
20432	*	F	T
20433	*	F	T
28125	*	F	T
28126	*	F	T
28127	*	F	T
34025	*	F	T
39963	*	F	T
42835	*	F	T
42836	*	F	T
42837	*	F	T
46001	*	F	T
46002	*	F	T
46003	*	F	T
46004	*	F	T
46005	*	F	T
49355	*	F	T
49356	*	F	T
49357	*	F	T
52375	*	F	T
52376	*	F	T
52377	*	F	T
62247	*	F	T
62248	*	F	T
62249	*	F	T
72019	*	F	T
72020	*	F	T
72021	*	F	T
75418	*	F	T
75419	*	F	T
75420	*	F	T
75421	*	F	T
75422	*	F	T
75423	*	F	T
75424	*	F	T
78893	*	F	T
78894	*	F	T
78895	*	F	T
78896	*	F	T
78897	*	F	T
78898	*	F	T
78899	*	F	T
80458	*	F	T
80459	*	F	T
81687	*	F	T
82846	*	F	T
83936	*	F	T
87313	*	F	T
92008	*	F	T
110913	*	F	T
110914	*	F	T
129776	*	F	T
129777	*	F	T