Decision #1454 — `malloc.c:4976`

Status: no_witness

Truth table

row	c0 br 9601	c1 br 9602	c2 br 9603	c3 br 9604	outcome
5845	T	*	*	*	T
5846	T	*	*	*	T
5847	T	*	*	*	T
5848	T	*	*	*	T
5849	T	*	*	*	T
5850	T	*	*	*	T
5851	T	*	*	*	T
5852	T	*	*	*	T
5853	T	*	*	*	T
5854	T	*	*	*	T
5855	T	*	*	*	T
5856	T	*	*	*	T
5857	T	*	*	*	T
5858	T	*	*	*	T
5859	T	*	*	*	T
5860	T	*	*	*	T
5861	T	*	*	*	T
5862	T	*	*	*	T
5863	T	*	*	*	T
5864	T	*	*	*	T
5865	T	*	*	*	T
5866	T	*	*	*	T
5867	T	*	*	*	T
5868	T	*	*	*	T
5869	T	*	*	*	T
5870	T	*	*	*	T
5871	T	*	*	*	T
5872	T	*	*	*	T
5873	T	*	*	*	T
5874	T	*	*	*	T
5875	T	*	*	*	T
12725	T	*	*	*	T
12726	T	*	*	*	T
12727	T	*	*	*	T
12728	T	*	*	*	T
12729	T	*	*	*	T
12730	T	*	*	*	T
12731	T	*	*	*	T
12732	T	*	*	*	T
12733	T	*	*	*	T
12734	T	*	*	*	T
12735	T	*	*	*	T
12736	T	*	*	*	T
12737	T	*	*	*	T
12738	T	*	*	*	T
12739	T	*	*	*	T
12740	T	*	*	*	T
12741	T	*	*	*	T
12742	T	*	*	*	T
12743	T	*	*	*	T
12744	T	*	*	*	T
12745	T	*	*	*	T
12746	T	*	*	*	T
12747	T	*	*	*	T
12748	T	*	*	*	T
12749	T	*	*	*	T
19810	T	*	*	*	T
19811	T	*	*	*	T
19812	T	*	*	*	T
19813	T	*	*	*	T
19814	T	*	*	*	T
19815	T	*	*	*	T
19816	T	*	*	*	T
19817	T	*	*	*	T
19818	T	*	*	*	T
19819	T	*	*	*	T
19820	T	*	*	*	T
19821	T	*	*	*	T
19822	T	*	*	*	T
19823	T	*	*	*	T
19824	T	*	*	*	T
19825	T	*	*	*	T
19826	T	*	*	*	T
19827	T	*	*	*	T
19828	T	*	*	*	T
19829	T	*	*	*	T
19830	T	*	*	*	T
19831	T	*	*	*	T
19832	T	*	*	*	T
19833	T	*	*	*	T
19834	T	*	*	*	T
19835	T	*	*	*	T
19836	T	*	*	*	T
23502	T	*	*	*	T
23503	T	*	*	*	T
23504	T	*	*	*	T
23505	T	*	*	*	T
23506	T	*	*	*	T
26192	T	*	*	*	T
26193	T	*	*	*	T
26194	T	*	*	*	T
28888	T	*	*	*	T
28889	T	*	*	*	T
28890	T	*	*	*	T
28891	T	*	*	*	T
28892	T	*	*	*	T
48351	T	*	*	*	T
48352	T	*	*	*	T
48353	T	*	*	*	T
48354	T	*	*	*	T
48355	T	*	*	*	T
48356	T	*	*	*	T
48357	T	*	*	*	T
48358	T	*	*	*	T
48359	T	*	*	*	T
48360	T	*	*	*	T
48361	T	*	*	*	T
48362	T	*	*	*	T
48363	T	*	*	*	T
48364	T	*	*	*	T
48365	T	*	*	*	T
48366	T	*	*	*	T
48367	T	*	*	*	T
48368	T	*	*	*	T
48369	T	*	*	*	T
48370	T	*	*	*	T
48371	T	*	*	*	T
48372	T	*	*	*	T
48373	T	*	*	*	T
48374	T	*	*	*	T
48375	T	*	*	*	T
48376	T	*	*	*	T
48377	T	*	*	*	T
48378	T	*	*	*	T
48379	T	*	*	*	T
48380	T	*	*	*	T
48381	T	*	*	*	T
48382	T	*	*	*	T
48383	T	*	*	*	T
48384	T	*	*	*	T
48385	T	*	*	*	T
48386	T	*	*	*	T
48387	T	*	*	*	T
48388	T	*	*	*	T
48389	T	*	*	*	T
48390	T	*	*	*	T
48391	T	*	*	*	T
48392	T	*	*	*	T
48393	T	*	*	*	T
48394	T	*	*	*	T
48395	T	*	*	*	T
48396	T	*	*	*	T
48397	T	*	*	*	T
48398	T	*	*	*	T
48399	T	*	*	*	T
69123	T	*	*	*	T
69124	T	*	*	*	T
69125	T	*	*	*	T
69126	T	*	*	*	T
69127	T	*	*	*	T
69128	T	*	*	*	T
69129	T	*	*	*	T
69130	T	*	*	*	T
69131	T	*	*	*	T
69132	T	*	*	*	T
69133	T	*	*	*	T
69134	T	*	*	*	T
69135	T	*	*	*	T
69136	T	*	*	*	T
69137	T	*	*	*	T
69138	T	*	*	*	T
69139	T	*	*	*	T
69140	T	*	*	*	T
69141	T	*	*	*	T
69142	T	*	*	*	T
69143	T	*	*	*	T
69144	T	*	*	*	T
69145	T	*	*	*	T
69146	T	*	*	*	T
69147	T	*	*	*	T
69148	T	*	*	*	T
69149	T	*	*	*	T
69150	T	*	*	*	T
69151	T	*	*	*	T
69152	T	*	*	*	T
69153	T	*	*	*	T
69154	T	*	*	*	T
69155	T	*	*	*	T
69156	T	*	*	*	T
69157	T	*	*	*	T
69158	T	*	*	*	T
69159	T	*	*	*	T
69160	T	*	*	*	T
69161	T	*	*	*	T
69162	T	*	*	*	T
69163	T	*	*	*	T
69164	T	*	*	*	T
69165	T	*	*	*	T
69166	T	*	*	*	T
69167	T	*	*	*	T
69168	T	*	*	*	T
79652	T	*	*	*	T
79653	T	*	*	*	T
79654	T	*	*	*	T
79655	T	*	*	*	T
79656	T	*	*	*	T
79657	T	*	*	*	T
79658	T	*	*	*	T
79659	T	*	*	*	T
79660	T	*	*	*	T
79661	T	*	*	*	T
79662	T	*	*	*	T
79663	T	*	*	*	T
79664	T	*	*	*	T
79665	T	*	*	*	T
79666	T	*	*	*	T
89535	T	*	*	*	T
89536	T	*	*	*	T
89537	T	*	*	*	T
89538	T	*	*	*	T
89539	T	*	*	*	T
89540	T	*	*	*	T
89541	T	*	*	*	T
89542	T	*	*	*	T
89543	T	*	*	*	T
89544	T	*	*	*	T
89545	T	*	*	*	T
89546	T	*	*	*	T
89547	T	*	*	*	T
89548	T	*	*	*	T
89549	T	*	*	*	T
97158	T	*	*	*	T
97159	T	*	*	*	T
97160	T	*	*	*	T
97161	T	*	*	*	T
97162	T	*	*	*	T
97163	T	*	*	*	T
97164	T	*	*	*	T
97165	T	*	*	*	T
97166	T	*	*	*	T
97167	T	*	*	*	T
97168	T	*	*	*	T
97169	T	*	*	*	T
105303	T	*	*	*	T
105304	T	*	*	*	T
105305	T	*	*	*	T
105306	T	*	*	*	T
105307	T	*	*	*	T
105308	T	*	*	*	T
105309	T	*	*	*	T
105310	T	*	*	*	T
105311	T	*	*	*	T
105312	T	*	*	*	T
105313	T	*	*	*	T
105314	T	*	*	*	T
113660	T	*	*	*	T
113661	T	*	*	*	T
113662	T	*	*	*	T
113663	T	*	*	*	T
113664	T	*	*	*	T
113665	T	*	*	*	T
113666	T	*	*	*	T
113667	T	*	*	*	T
113668	T	*	*	*	T
113669	T	*	*	*	T
121502	T	*	*	*	T
121503	T	*	*	*	T
121504	T	*	*	*	T
121505	T	*	*	*	T
121506	T	*	*	*	T
121507	T	*	*	*	T
121508	T	*	*	*	T
121509	T	*	*	*	T
121510	T	*	*	*	T
121511	T	*	*	*	T
121512	T	*	*	*	T
121513	T	*	*	*	T
138263	T	*	*	*	T
138264	T	*	*	*	T
138265	T	*	*	*	T
138266	T	*	*	*	T
138267	T	*	*	*	T
138268	T	*	*	*	T
138269	T	*	*	*	T
138270	T	*	*	*	T
138271	T	*	*	*	T
138272	T	*	*	*	T
138273	T	*	*	*	T
138274	T	*	*	*	T
138275	T	*	*	*	T
138276	T	*	*	*	T
138277	T	*	*	*	T
138278	T	*	*	*	T
138279	T	*	*	*	T
138280	T	*	*	*	T
138281	T	*	*	*	T
154982	T	*	*	*	T
154983	T	*	*	*	T
154984	T	*	*	*	T
154985	T	*	*	*	T
154986	T	*	*	*	T
154987	T	*	*	*	T
154988	T	*	*	*	T
154989	T	*	*	*	T
154990	T	*	*	*	T
154991	T	*	*	*	T
154992	T	*	*	*	T
154993	T	*	*	*	T
154994	T	*	*	*	T
154995	T	*	*	*	T
154996	T	*	*	*	T
154997	T	*	*	*	T
154998	T	*	*	*	T
154999	T	*	*	*	T
155000	T	*	*	*	T
164329	T	*	*	*	T
164330	T	*	*	*	T
164331	T	*	*	*	T
164332	T	*	*	*	T
164333	T	*	*	*	T
164334	T	*	*	*	T
164335	T	*	*	*	T
164336	T	*	*	*	T
164337	T	*	*	*	T
164338	T	*	*	*	T
164339	T	*	*	*	T
164340	T	*	*	*	T
164341	T	*	*	*	T
164342	T	*	*	*	T
164343	T	*	*	*	T
164344	T	*	*	*	T
164345	T	*	*	*	T
164346	T	*	*	*	T
164347	T	*	*	*	T
164348	T	*	*	*	T
164349	T	*	*	*	T
164350	T	*	*	*	T
164351	T	*	*	*	T
164352	T	*	*	*	T
164353	T	*	*	*	T
164354	T	*	*	*	T
164355	T	*	*	*	T
164356	T	*	*	*	T
164357	T	*	*	*	T
164358	T	*	*	*	T
174187	T	*	*	*	T
174188	T	*	*	*	T
174189	T	*	*	*	T
174190	T	*	*	*	T
174191	T	*	*	*	T
174192	T	*	*	*	T
174193	T	*	*	*	T
174194	T	*	*	*	T
174195	T	*	*	*	T
174196	T	*	*	*	T
174197	T	*	*	*	T
174198	T	*	*	*	T
174199	T	*	*	*	T
174200	T	*	*	*	T
174201	T	*	*	*	T
174202	T	*	*	*	T
174203	T	*	*	*	T
174204	T	*	*	*	T
174205	T	*	*	*	T
174206	T	*	*	*	T
174207	T	*	*	*	T
174208	T	*	*	*	T
174209	T	*	*	*	T
174210	T	*	*	*	T
174211	T	*	*	*	T
174212	T	*	*	*	T
174213	T	*	*	*	T
174214	T	*	*	*	T
174215	T	*	*	*	T
174216	T	*	*	*	T
179418	T	*	*	*	T
179419	T	*	*	*	T
183250	T	*	*	*	T
183251	T	*	*	*	T
186474	T	*	*	*	T
186475	T	*	*	*	T
186476	T	*	*	*	T
189677	T	*	*	*	T
189678	T	*	*	*	T
194229	T	*	*	*	T
194230	T	*	*	*	T
194231	T	*	*	*	T
194232	T	*	*	*	T
201753	T	*	*	*	T
201754	T	*	*	*	T
201755	T	*	*	*	T
201756	T	*	*	*	T
201757	T	*	*	*	T
201758	T	*	*	*	T
201759	T	*	*	*	T
201760	T	*	*	*	T
201761	T	*	*	*	T
201762	T	*	*	*	T
201763	T	*	*	*	T
201764	T	*	*	*	T
201765	T	*	*	*	T
201766	T	*	*	*	T
205673	T	*	*	*	T
205674	T	*	*	*	T
205675	T	*	*	*	T
205676	T	*	*	*	T
205677	T	*	*	*	T
212812	T	*	*	*	T
212813	T	*	*	*	T
212814	T	*	*	*	T
212815	T	*	*	*	T
212816	F	F	T	*	T
212817	T	*	*	*	T
212818	T	*	*	*	T
212819	T	*	*	*	T
212820	T	*	*	*	T
212821	T	*	*	*	T
212822	T	*	*	*	T
212823	T	*	*	*	T
212824	T	*	*	*	T
212825	T	*	*	*	T
212826	T	*	*	*	T
220379	T	*	*	*	T
220380	T	*	*	*	T
220381	T	*	*	*	T
220382	T	*	*	*	T
220383	T	*	*	*	T
220384	T	*	*	*	T
220385	T	*	*	*	T
220386	T	*	*	*	T
220387	T	*	*	*	T
220388	T	*	*	*	T
220389	T	*	*	*	T
220390	T	*	*	*	T
220391	T	*	*	*	T
220392	T	*	*	*	T
220393	T	*	*	*	T
293423	T	*	*	*	T
293424	T	*	*	*	T
293425	T	*	*	*	T
293426	T	*	*	*	T
293427	T	*	*	*	T
293428	T	*	*	*	T
293429	T	*	*	*	T
293430	T	*	*	*	T
293431	T	*	*	*	T
293432	T	*	*	*	T
293433	T	*	*	*	T
293434	T	*	*	*	T
293435	T	*	*	*	T
293436	T	*	*	*	T
293437	T	*	*	*	T
293438	T	*	*	*	T
293439	T	*	*	*	T
293440	T	*	*	*	T
293441	T	*	*	*	T
293442	T	*	*	*	T
293443	T	*	*	*	T
293444	T	*	*	*	T
293445	T	*	*	*	T
293446	T	*	*	*	T
293447	T	*	*	*	T
293448	T	*	*	*	T
293449	T	*	*	*	T
293450	T	*	*	*	T
293451	T	*	*	*	T
293452	T	*	*	*	T
293453	T	*	*	*	T
293454	T	*	*	*	T
293455	T	*	*	*	T
293456	T	*	*	*	T
293457	T	*	*	*	T
293458	T	*	*	*	T
293459	T	*	*	*	T
293460	T	*	*	*	T
293461	T	*	*	*	T
293462	T	*	*	*	T
293463	T	*	*	*	T
293464	T	*	*	*	T
293465	T	*	*	*	T
293466	T	*	*	*	T
293467	T	*	*	*	T
293468	T	*	*	*	T
293469	T	*	*	*	T
293470	F	T	*	*	T
293471	T	*	*	*	T
293472	F	T	*	*	T
293473	F	T	*	*	T
293474	F	T	*	*	T
293475	F	T	*	*	T
293476	T	*	*	*	T
293477	T	*	*	*	T
293478	T	*	*	*	T
293479	T	*	*	*	T
293480	T	*	*	*	T
293481	T	*	*	*	T
293482	T	*	*	*	T
293483	T	*	*	*	T
293484	T	*	*	*	T
293485	T	*	*	*	T
293486	T	*	*	*	T
293487	F	T	*	*	T
293488	F	T	*	*	T
293489	F	T	*	*	T
293490	T	*	*	*	T
293491	T	*	*	*	T
293492	T	*	*	*	T
293493	T	*	*	*	T
293494	T	*	*	*	T
293495	F	T	*	*	T
293496	F	T	*	*	T
293497	T	*	*	*	T
293498	T	*	*	*	T
293499	T	*	*	*	T
293500	T	*	*	*	T
293501	T	*	*	*	T
293502	T	*	*	*	T
293503	T	*	*	*	T
293504	T	*	*	*	T
293505	T	*	*	*	T
293506	T	*	*	*	T
293507	T	*	*	*	T
293508	T	*	*	*	T
293509	F	T	*	*	T
293510	T	*	*	*	T
293511	T	*	*	*	T
293512	T	*	*	*	T
293513	T	*	*	*	T
293514	T	*	*	*	T
293515	T	*	*	*	T
293516	T	*	*	*	T
293517	T	*	*	*	T
293518	T	*	*	*	T
293519	T	*	*	*	T
293520	T	*	*	*	T
293521	T	*	*	*	T
293522	T	*	*	*	T
293523	T	*	*	*	T
293524	T	*	*	*	T
293525	T	*	*	*	T
293526	T	*	*	*	T
293527	T	*	*	*	T
293528	T	*	*	*	T
293529	T	*	*	*	T
293530	T	*	*	*	T
293531	T	*	*	*	T
293532	T	*	*	*	T
293533	T	*	*	*	T
293534	T	*	*	*	T
293535	T	*	*	*	T
293536	T	*	*	*	T
293537	T	*	*	*	T
293538	T	*	*	*	T
293539	T	*	*	*	T
293540	T	*	*	*	T
293541	F	T	*	*	T
293542	F	T	*	*	T
293543	T	*	*	*	T
293544	T	*	*	*	T
293545	T	*	*	*	T
293546	T	*	*	*	T
293547	T	*	*	*	T
293548	T	*	*	*	T
293549	T	*	*	*	T
293550	T	*	*	*	T
293551	T	*	*	*	T
293552	T	*	*	*	T
293553	T	*	*	*	T
293554	T	*	*	*	T
293555	T	*	*	*	T
293556	T	*	*	*	T
293557	T	*	*	*	T
293558	T	*	*	*	T
293559	T	*	*	*	T
293560	T	*	*	*	T
293561	T	*	*	*	T
293562	T	*	*	*	T
293563	T	*	*	*	T
293564	T	*	*	*	T
293565	T	*	*	*	T
293566	T	*	*	*	T
293567	T	*	*	*	T
293568	T	*	*	*	T
293569	T	*	*	*	T
293570	T	*	*	*	T
293571	T	*	*	*	T
293572	T	*	*	*	T
293573	T	*	*	*	T
293574	T	*	*	*	T
293575	T	*	*	*	T
293576	T	*	*	*	T
293577	T	*	*	*	T
293578	T	*	*	*	T
293579	T	*	*	*	T
293580	T	*	*	*	T
293581	T	*	*	*	T
293582	T	*	*	*	T
293583	T	*	*	*	T
293584	T	*	*	*	T
293585	T	*	*	*	T
293586	T	*	*	*	T
293587	T	*	*	*	T
293588	T	*	*	*	T
293589	T	*	*	*	T
293590	T	*	*	*	T
293591	T	*	*	*	T
293592	T	*	*	*	T
293593	T	*	*	*	T
293594	T	*	*	*	T
293595	T	*	*	*	T
293596	T	*	*	*	T
293597	F	T	*	*	T
293598	F	T	*	*	T
293599	T	*	*	*	T
293600	F	T	*	*	T
293601	T	*	*	*	T
293602	T	*	*	*	T
293603	T	*	*	*	T
293604	T	*	*	*	T
293605	T	*	*	*	T
293606	F	T	*	*	T
293607	T	*	*	*	T
293608	T	*	*	*	T
293609	T	*	*	*	T
293610	T	*	*	*	T
293611	T	*	*	*	T
293612	T	*	*	*	T
293613	T	*	*	*	T
293614	T	*	*	*	T
293615	F	T	*	*	T
293616	T	*	*	*	T
293617	F	T	*	*	T
293618	T	*	*	*	T
293619	T	*	*	*	T
293620	T	*	*	*	T
293621	T	*	*	*	T
293622	T	*	*	*	T
293623	T	*	*	*	T
293624	T	*	*	*	T
293625	T	*	*	*	T
293626	T	*	*	*	T
293627	F	T	*	*	T
293628	F	T	*	*	T
293629	T	*	*	*	T
293630	F	T	*	*	T
293631	T	*	*	*	T
293632	T	*	*	*	T
293633	T	*	*	*	T
293634	F	T	*	*	T
293635	T	*	*	*	T
293636	T	*	*	*	T
293637	T	*	*	*	T
293638	T	*	*	*	T
293639	T	*	*	*	T
293640	T	*	*	*	T
293641	T	*	*	*	T
293642	T	*	*	*	T
293643	T	*	*	*	T
293644	T	*	*	*	T
293645	T	*	*	*	T
293646	T	*	*	*	T
293647	T	*	*	*	T
293648	T	*	*	*	T
293649	T	*	*	*	T
293650	T	*	*	*	T
293651	F	T	*	*	T
293652	T	*	*	*	T
293653	T	*	*	*	T
293654	T	*	*	*	T
293655	T	*	*	*	T
293656	T	*	*	*	T
293657	T	*	*	*	T
293658	T	*	*	*	T
293659	T	*	*	*	T
370800	T	*	*	*	T
370801	T	*	*	*	T
370802	T	*	*	*	T
370803	T	*	*	*	T
370804	T	*	*	*	T
370805	T	*	*	*	T
370806	T	*	*	*	T
370807	T	*	*	*	T
370808	T	*	*	*	T
370809	T	*	*	*	T
370810	T	*	*	*	T
370811	T	*	*	*	T
370812	T	*	*	*	T
370813	T	*	*	*	T
370814	T	*	*	*	T
370815	T	*	*	*	T
370816	T	*	*	*	T
370817	T	*	*	*	T
370818	T	*	*	*	T
370819	T	*	*	*	T
370820	T	*	*	*	T
370821	T	*	*	*	T
370822	T	*	*	*	T
370823	T	*	*	*	T
370824	T	*	*	*	T
370825	T	*	*	*	T
370826	T	*	*	*	T
370827	T	*	*	*	T
370828	T	*	*	*	T
370829	T	*	*	*	T
370830	T	*	*	*	T
370831	T	*	*	*	T
370832	T	*	*	*	T
370833	T	*	*	*	T
370834	T	*	*	*	T
370835	T	*	*	*	T
370836	T	*	*	*	T
370837	T	*	*	*	T
370838	T	*	*	*	T
370839	T	*	*	*	T
370840	T	*	*	*	T
370841	T	*	*	*	T
370842	T	*	*	*	T
370843	T	*	*	*	T
370844	T	*	*	*	T
370845	T	*	*	*	T
370846	T	*	*	*	T
370847	F	T	*	*	T
370848	T	*	*	*	T
370849	F	T	*	*	T
370850	F	T	*	*	T
370851	F	T	*	*	T
370852	F	T	*	*	T
370853	T	*	*	*	T
370854	T	*	*	*	T
370855	T	*	*	*	T
370856	T	*	*	*	T
370857	T	*	*	*	T
370858	T	*	*	*	T
370859	T	*	*	*	T
370860	T	*	*	*	T
370861	T	*	*	*	T
370862	T	*	*	*	T
370863	T	*	*	*	T
370864	F	T	*	*	T
370865	F	T	*	*	T
370866	F	T	*	*	T
370867	T	*	*	*	T
370868	T	*	*	*	T
370869	T	*	*	*	T
370870	T	*	*	*	T
370871	T	*	*	*	T
370872	F	T	*	*	T
370873	F	T	*	*	T
370874	T	*	*	*	T
370875	T	*	*	*	T
370876	T	*	*	*	T
370877	T	*	*	*	T
370878	T	*	*	*	T
370879	T	*	*	*	T
370880	T	*	*	*	T
370881	T	*	*	*	T
370882	T	*	*	*	T
370883	T	*	*	*	T
370884	T	*	*	*	T
370885	T	*	*	*	T
370886	F	T	*	*	T
370887	T	*	*	*	T
370888	T	*	*	*	T
370889	T	*	*	*	T
370890	T	*	*	*	T
370891	T	*	*	*	T
370892	T	*	*	*	T
370893	T	*	*	*	T
370894	T	*	*	*	T
370895	T	*	*	*	T
370896	T	*	*	*	T
370897	T	*	*	*	T
370898	T	*	*	*	T
370899	T	*	*	*	T
370900	T	*	*	*	T
370901	T	*	*	*	T
370902	T	*	*	*	T
370903	T	*	*	*	T
370904	T	*	*	*	T
370905	T	*	*	*	T
370906	T	*	*	*	T
370907	T	*	*	*	T
370908	T	*	*	*	T
370909	T	*	*	*	T
370910	T	*	*	*	T
370911	T	*	*	*	T
370912	T	*	*	*	T
370913	T	*	*	*	T
370914	T	*	*	*	T
370915	T	*	*	*	T
370916	T	*	*	*	T
370917	T	*	*	*	T
370918	F	T	*	*	T
370919	F	T	*	*	T
370920	T	*	*	*	T
370921	T	*	*	*	T
370922	T	*	*	*	T
370923	T	*	*	*	T
370924	T	*	*	*	T
370925	T	*	*	*	T
370926	T	*	*	*	T
370927	T	*	*	*	T
370928	T	*	*	*	T
370929	T	*	*	*	T
370930	T	*	*	*	T
370931	T	*	*	*	T
370932	T	*	*	*	T
370933	T	*	*	*	T
370934	T	*	*	*	T
370935	T	*	*	*	T
370936	T	*	*	*	T
370937	T	*	*	*	T
370938	T	*	*	*	T
370939	T	*	*	*	T
370940	T	*	*	*	T
370941	T	*	*	*	T
370942	T	*	*	*	T
370943	T	*	*	*	T
370944	T	*	*	*	T
370945	T	*	*	*	T
370946	T	*	*	*	T
370947	T	*	*	*	T
370948	T	*	*	*	T
370949	T	*	*	*	T
370950	T	*	*	*	T
370951	T	*	*	*	T
370952	T	*	*	*	T
370953	T	*	*	*	T
370954	T	*	*	*	T
370955	T	*	*	*	T
370956	T	*	*	*	T
370957	T	*	*	*	T
370958	T	*	*	*	T
370959	T	*	*	*	T
370960	T	*	*	*	T
370961	T	*	*	*	T
370962	T	*	*	*	T
370963	T	*	*	*	T
370964	T	*	*	*	T
370965	T	*	*	*	T
370966	T	*	*	*	T
370967	T	*	*	*	T
370968	T	*	*	*	T
370969	T	*	*	*	T
370970	T	*	*	*	T
370971	T	*	*	*	T
370972	T	*	*	*	T
370973	T	*	*	*	T
370974	F	T	*	*	T
370975	F	T	*	*	T
370976	T	*	*	*	T
370977	F	T	*	*	T
370978	T	*	*	*	T
370979	T	*	*	*	T
370980	T	*	*	*	T
370981	T	*	*	*	T
370982	T	*	*	*	T
370983	F	T	*	*	T
370984	T	*	*	*	T
370985	T	*	*	*	T
370986	T	*	*	*	T
370987	T	*	*	*	T
370988	T	*	*	*	T
370989	T	*	*	*	T
370990	T	*	*	*	T
370991	T	*	*	*	T
370992	F	T	*	*	T
370993	T	*	*	*	T
370994	F	T	*	*	T
370995	T	*	*	*	T
370996	T	*	*	*	T
370997	T	*	*	*	T
370998	T	*	*	*	T
370999	T	*	*	*	T
371000	T	*	*	*	T
371001	T	*	*	*	T
371002	T	*	*	*	T
371003	T	*	*	*	T
371004	F	T	*	*	T
371005	F	T	*	*	T
371006	T	*	*	*	T
371007	F	T	*	*	T
371008	T	*	*	*	T
371009	T	*	*	*	T
371010	T	*	*	*	T
371011	F	T	*	*	T
371012	T	*	*	*	T
371013	T	*	*	*	T
371014	T	*	*	*	T
371015	T	*	*	*	T
371016	T	*	*	*	T
371017	T	*	*	*	T
371018	T	*	*	*	T
371019	T	*	*	*	T
371020	T	*	*	*	T
371021	T	*	*	*	T
371022	T	*	*	*	T
371023	T	*	*	*	T
371024	T	*	*	*	T
371025	T	*	*	*	T
371026	T	*	*	*	T
371027	T	*	*	*	T
371028	F	T	*	*	T
371029	T	*	*	*	T
371030	T	*	*	*	T
371031	T	*	*	*	T
371032	T	*	*	*	T
371033	T	*	*	*	T
371034	T	*	*	*	T
371035	T	*	*	*	T
371036	T	*	*	*	T
378996	T	*	*	*	T
381775	T	*	*	*	T
381776	T	*	*	*	T
381777	T	*	*	*	T
384611	T	*	*	*	T
384612	T	*	*	*	T
384613	T	*	*	*	T

Independent-effect pairs

All 4 conditions live in realloc — 4 br_if

c0 (branch 9601): GAP view gap →
c1 (branch 9602): GAP view gap →
c2 (branch 9603): GAP view gap →
c3 (branch 9604): DEAD view gap →

← back to scry-mcdc

Decision #1454 — malloc.c:4976

Truth table

Independent-effect pairs

Decision #1454 — `malloc.c:4976`