Decision #1192 — `malloc.c:4028`

Status: no_witness

Truth table

row	c0 br 8157	c1 br 8158	c2 br 8159	c3 br 8160	c4 br 8161	c5 br 8162	c6 br 8163	c7 br 8164	c8 br 8165	c9 br 8166	c10 br 8167	c11 br 8168	c12 br 8169	c13 br 8170	c14 br 8171	c15 br 8172	outcome
2861	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
2862	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
2863	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
6623	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
6624	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
6625	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
10496	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
10497	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
10498	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
12712	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
12713	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
14072	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
14073	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
15413	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
15414	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
23943	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
23944	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
23945	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
23946	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
23947	F	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	T
23948	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
23949	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
23950	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
23951	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
23952	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
23953	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
23954	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
23955	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
23956	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
23957	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
23958	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
23959	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
23960	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33406	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
33407	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33408	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33409	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33410	F	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33411	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33412	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33413	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33414	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33415	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33416	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33417	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33418	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33419	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
33420	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
33421	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33422	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
33423	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
39573	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
39574	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
39575	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
39576	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
39577	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
45786	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
45787	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
45788	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
45789	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
45790	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
50128	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
50129	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
50130	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
50131	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
54407	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
54408	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
54409	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
54410	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
54411	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
58903	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
58904	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
58905	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
58906	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
63052	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
63053	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
63054	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
63055	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
74213	F	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74214	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74215	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74216	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74217	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74218	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74219	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74220	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74221	F	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74222	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74223	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74224	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74225	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74226	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74227	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74228	F	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74229	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74230	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
74231	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
74232	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
74233	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85726	F	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85727	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85728	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85729	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85730	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85731	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85732	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85733	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85734	F	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85735	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85736	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85737	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85738	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85739	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85740	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85741	F	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85742	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85743	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
85744	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
85745	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
85746	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
90490	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
90491	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
90492	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
90493	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
94758	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
94759	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
94760	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
94761	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
97160	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
98826	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
98827	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
98828	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
100325	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
100326	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
100327	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
101759	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
101760	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
101761	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
104059	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
104060	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
104061	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
104062	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
107856	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
107857	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
107858	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
107859	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
107860	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
107861	T	*	*	F	F	F	F	*	*	*	F	F	F	F	F	F	T
107862	*	*	*	F	F	F	*	F	T	F	*	*	T	*	*	F	T
107863	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
107864	T	*	*	F	F	F	F	*	*	*	F	T	*	*	*	*	T
107865	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
110149	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
110150	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
110151	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
113220	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
113221	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
113222	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
113223	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
113224	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
113225	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
116278	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
116279	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
116280	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
116281	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
116282	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
116283	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
137737	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
137738	F	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137739	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137740	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137741	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137742	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137743	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137744	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137745	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137746	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137747	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137748	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137749	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137750	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137751	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137752	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137753	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137754	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137755	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137756	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137757	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137758	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137759	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137760	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137761	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137762	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137763	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137764	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137765	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137766	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137767	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137768	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137769	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137770	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137771	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137772	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137773	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137774	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
137775	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137776	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137777	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137778	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
137779	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
137780	T	*	*	F	F	F	F	*	*	*	F	T	*	*	*	*	T
137781	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160673	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
160674	F	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160675	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160676	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160677	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160678	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160679	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160680	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160681	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160682	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160683	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160684	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160685	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160686	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160687	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160688	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160689	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160690	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160691	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160692	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160693	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160694	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160695	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160696	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160697	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160698	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160699	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160700	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160701	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160702	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160703	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160704	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160705	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160706	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160707	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160708	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160709	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160710	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
160711	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160712	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160713	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160714	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
160715	T	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
160716	T	*	*	F	F	F	F	*	*	*	F	T	*	*	*	*	T
160717	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
164140	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
165757	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
167461	T	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T

Independent-effect pairs

All 16 conditions live in dlmalloc — 16 br_if

c0 (branch 8157): GAP view gap →
c1 (branch 8158): GAP view gap →
c2 (branch 8159): GAP view gap →
c3 (branch 8160): GAP view gap →
c4 (branch 8161): GAP view gap →
c5 (branch 8162): GAP view gap →
c6 (branch 8163): GAP view gap →
c7 (branch 8164): GAP view gap →
c8 (branch 8165): GAP view gap →
c9 (branch 8166): GAP view gap →
c10 (branch 8167): GAP view gap →
c11 (branch 8168): GAP view gap →
c12 (branch 8169): GAP view gap →
c13 (branch 8170): GAP view gap →
c14 (branch 8171): GAP view gap →
c15 (branch 8172): GAP view gap →

← back to scry-mcdc

Decision #1192 — malloc.c:4028

Truth table

Independent-effect pairs

Decision #1192 — `malloc.c:4028`