Decision #1443 — malloc.c:4384

Status: no_witness

Truth table

rowc0 br 9545c1 br 9546c2 br 9547outcome
4922T**T
4923T**T
4924T**T
4925T**T
4926T**T
4927T**T
4928T**T
4929T**T
4930T**T
4931T**T
4932T**T
4933TFFT
4934T**T
4935T**T
4936T**T
4937T**T
4938T**T
11844T**T
11845T**T
11846T**T
11847T**T
11848T**T
11849T**T
11850T**T
11851FFFT
11852T**T
11853T**T
11854T**T
11855T**T
11856T**T
11857T**T
11858T**T
11859T**T
11860T**T
11861T**T
11862T**T
11863T**T
11864T**T
18839T**T
18840T**T
18841T**T
18842T**T
18843T**T
18844T**T
18845T**T
18846T**T
18847T**T
18848T**T
18849FFFT
18850*FFT
18851TFFT
18852T**T
18853T**T
18854T**T
18855T**T
18856T**T
18857T**T
18858T**T
18859T**T
23169T**T
23170T**T
23171T**T
23172T**T
23173T**T
23174T**T
25883T**T
25884T**T
25885T**T
25886T**T
25887T**T
25888T**T
25889T**T
25890T**T
28555T**T
28556T**T
28557T**T
28558T**T
28559T**T
28560T**T
45725T**T
45726T**T
45727T**T
45728T**T
45729T**T
45730T**T
45731T**T
45732T**T
45733T**T
45734T**T
45735T**T
45736T**T
45737T**T
45738T**T
45739T**T
45740T**T
45741T**T
45742T**T
45743T**T
45744T**T
45745T**T
45746T**T
45747T**T
45748T**T
45749T**T
45750T**T
45751T**T
45752T**T
45753T**T
45754T**T
45755T**T
45756T**T
45757T**T
45758T**T
45759T**T
45760T**T
45761T**T
45762T**T
45763T**T
45764T**T
45765T**T
45766T**T
45767T**T
45768T**T
45769T**T
45770T**T
45771T**T
45772T**T
45773T**T
45774T**T
45775T**T
66532T**T
66533T**T
66534T**T
66535T**T
66536T**T
66537T**T
66538T**T
66539T**T
66540T**T
66541T**T
66542T**T
66543T**T
66544T**T
66545T**T
66546T**T
66547T**T
66548T**T
66549T**T
66550T**T
66551T**T
66552T**T
66553T**T
66554T**T
66555T**T
66556T**T
66557T**T
66558T**T
66559T**T
66560T**T
66561T**T
66562T**T
66563T**T
66564T**T
66565T**T
66566T**T
66567T**T
66568T**T
66569T**T
66570T**T
66571T**T
66572T**T
66573T**T
66574T**T
66575T**T
66576T**T
78440T**T
78441T**T
78442T**T
78443T**T
78444T**T
78445T**T
78446T**T
78447T**T
78448T**T
78449T**T
78450T**T
78451T**T
78452T**T
78453T**T
78454T**T
78455T**T
78456T**T
88323T**T
88324T**T
88325T**T
88326T**T
88327T**T
88328T**T
88329T**T
88330T**T
88331T**T
88332T**T
88333T**T
88334T**T
88335T**T
88336T**T
88337T**T
88338T**T
88339T**T
96174T**T
96175T**T
96176T**T
96177T**T
96178T**T
96179T**T
96180T**T
96181T**T
96182T**T
96183T**T
96184T**T
96185T**T
96186T**T
96187T**T
96188T**T
96189T**T
96190T**T
96191T**T
96192T**T
96193T**T
104283T**T
104284T**T
104285T**T
104286T**T
104287T**T
104288T**T
104289FFFT
104290FFFT
104291T**T
104292T**T
104293T**T
104294T**T
104295T**T
104296T**T
104297T**T
104298TFFT
104299T**T
104300T**T
104301T**T
104302T**T
104303T**T
104304T**T
104305T**T
104306T**T
104307T**T
112687T**T
112688T**T
112689T**T
112690T**T
112691T**T
112692T**T
112693FFFT
112694TFFT
112695T**T
112696FFFT
112697T**T
112698T**T
112699T**T
112700FFFT
112701T**T
112702FFFT
112703T**T
112704T**T
120518T**T
120519T**T
120520T**T
120521T**T
120522T**T
120523T**T
120524T**T
120525T**T
120526T**T
120527T**T
120528T**T
120529T**T
120530T**T
120531T**T
120532T**T
120533T**T
120534T**T
120535T**T
120536T**T
120537T**T
136611T**T
136612T**T
136613T**T
136614T**T
136615T**T
136616T**T
136617FFFT
136618T**T
136619T**T
136620T**T
136621T**T
136622T**T
136623T**T
136624T**T
136625T**T
136626T**T
136627T**T
136628T**T
136629T**T
136630T**T
136631T**T
136632T**T
136633T**T
136634T**T
136635T**T
136636TFFT
136637T**T
136638T**T
136639T**T
136640T**T
136641T**T
136642T**T
136643T**T
136644T**T
136645T**T
136646T**T
136647T**T
136648T**T
136649T**T
136650T**T
136651T**T
136652T**T
136653T**T
136654T**T
136655T**T
136656T**T
136657T**T
153330T**T
153331T**T
153332T**T
153333T**T
153334T**T
153335T**T
153336FFFT
153337T**T
153338T**T
153339T**T
153340T**T
153341T**T
153342T**T
153343T**T
153344T**T
153345T**T
153346T**T
153347T**T
153348T**T
153349T**T
153350T**T
153351T**T
153352T**T
153353T**T
153354T**T
153355TFFT
153356T**T
153357T**T
153358T**T
153359T**T
153360T**T
153361T**T
153362T**T
153363T**T
153364T**T
153365T**T
153366T**T
153367T**T
153368T**T
153369T**T
153370T**T
153371T**T
153372T**T
153373T**T
153374T**T
153375T**T
153376T**T
163199T**T
163200T**T
163201T**T
163202T**T
163203T**T
163204T**T
163205T**T
163206T**T
163207T**T
163208T**T
163209T**T
163210T**T
163211T**T
163212T**T
163213T**T
163214T**T
163215T**T
163216T**T
163217T**T
163218T**T
163219T**T
163220T**T
163221T**T
163222T**T
173057T**T
173058T**T
173059T**T
173060T**T
173061T**T
173062T**T
173063T**T
173064T**T
173065T**T
173066T**T
173067T**T
173068T**T
173069T**T
173070T**T
173071T**T
173072T**T
173073T**T
173074T**T
173075T**T
173076T**T
173077T**T
173078T**T
173079T**T
173080T**T
178925TFFT
178926T**T
178927T**T
178928T**T
178929T**T
178930T**T
178931T**T
178932T**T
178933T**T
178934T**T
178935T**T
178936T**T
178937T**T
182892T**T
182893T**T
182894T**T
182895T**T
182896T**T
182897T**T
182898T**T
182899T**T
182900T**T
182901T**T
182902T**T
182903T**T
186094T**T
186095T**T
186096T**T
186097T**T
186098T**T
186099T**T
186100T**T
186101TFFT
186102T**T
186103T**T
186104FFFT
186105T**T
189319T**T
189320T**T
189321T**T
189322T**T
189323T**T
189324T**T
189325T**T
189326T**T
189327T**T
189328T**T
189329T**T
189330T**T
193742T**T
193743T**T
193744T**T
193745T**T
193746T**T
193747T**T
193748T**T
193749T**T
200887T**T
200888T**T
200889T**T
200890FFFT
200891TFFT
200892T**T
200893T**T
200894T**T
200895T**T
200896T**T
200897T**T
200898TFFT
200899T**T
200900T**T
200901T**T
205271T**T
205272T**T
205273T**T
205274T**T
205275T**T
205276T**T
211990T**T
211991FFFT
211992T**T
211993T**T
211994T**T
211995TFFT
211996T**T
211997T**T
211998T**T
211999T**T
212000T**T
212001T**T
212002T**T
212003T**T
212004T**T
212005T**T
212006T**T
212007T**T
212008T**T
212009T**T
212010T**T
219433T**T
219434T**T
219435T**T
219436T**T
219437T**T
219438T**T
219439T**T
219440T**T
219441T**T
219442T**T
219443T**T
219444T**T
219445T**T
219446T**T
219447T**T
219448FFFT
219449T**T
219450T**T
219451T**T
219452T**T
219453T**T
281725T**T
281726T**T
281727T**T
281728T**T
281729T**T
281730T**T
281731TFFT
281732T**T
281733T**T
281734T**T
281735T**T
281736T**T
281737T**T
281738T**T
281739T**T
281740T**T
281741T**T
281742T**T
281743T**T
281744FFFT
281745T**T
281746T**T
281747T**T
281748T**T
281749T**T
281750T**T
281751T**T
281752T**T
281753T**T
281754T**T
281755T**T
281756T**T
281757T**T
281758T**T
281759T**T
281760T**T
281761T**T
281762T**T
281763T**T
281764T**T
281765T**T
281766T**T
281767T**T
281768T**T
281769T**T
281770T**T
281771T**T
281772T**T
281773T**T
281774T**T
281775T**T
281776T**T
281777T**T
281778T**T
281779T**T
281780T**T
281781T**T
281782T**T
281783T**T
281784T**T
281785T**T
281786T**T
281787T**T
281788T**T
281789T**T
281790T**T
281791T**T
281792T**T
281793T**T
281794T**T
281795T**T
281796T**T
281797T**T
281798T**T
281799T**T
281800T**T
281801T**T
281802T**T
281803T**T
281804T**T
281805T**T
281806T**T
281807T**T
281808T**T
281809T**T
281810T**T
281811FFFT
281812T**T
281813T**T
281814T**T
281815T**T
281816T**T
281817T**T
281818T**T
281819T**T
281820T**T
281821T**T
281822T**T
281823T**T
281824T**T
281825T**T
281826T**T
281827T**T
281828T**T
281829T**T
281830T**T
281831T**T
281832T**T
281833T**T
281834T**T
281835T**T
281836T**T
281837T**T
281838T**T
281839T**T
281840T**T
281841T**T
281842T**T
281843T**T
281844T**T
281845T**T
281846T**T
281847FFFT
281848TFFT
281849T**T
281850T**T
281851T**T
281852T**T
281853T**T
359102T**T
359103T**T
359104T**T
359105T**T
359106T**T
359107T**T
359108TFFT
359109T**T
359110T**T
359111T**T
359112T**T
359113T**T
359114T**T
359115T**T
359116T**T
359117T**T
359118T**T
359119T**T
359120T**T
359121FFFT
359122T**T
359123T**T
359124T**T
359125T**T
359126T**T
359127T**T
359128T**T
359129T**T
359130T**T
359131T**T
359132T**T
359133T**T
359134T**T
359135T**T
359136T**T
359137T**T
359138T**T
359139T**T
359140T**T
359141T**T
359142T**T
359143T**T
359144T**T
359145T**T
359146T**T
359147T**T
359148T**T
359149T**T
359150T**T
359151T**T
359152T**T
359153T**T
359154T**T
359155T**T
359156T**T
359157T**T
359158T**T
359159T**T
359160T**T
359161T**T
359162T**T
359163T**T
359164T**T
359165T**T
359166T**T
359167T**T
359168T**T
359169T**T
359170T**T
359171T**T
359172T**T
359173T**T
359174T**T
359175T**T
359176T**T
359177T**T
359178T**T
359179T**T
359180T**T
359181T**T
359182T**T
359183T**T
359184T**T
359185T**T
359186T**T
359187T**T
359188FFFT
359189T**T
359190T**T
359191T**T
359192T**T
359193T**T
359194T**T
359195T**T
359196T**T
359197T**T
359198T**T
359199T**T
359200T**T
359201T**T
359202T**T
359203T**T
359204T**T
359205T**T
359206T**T
359207T**T
359208T**T
359209T**T
359210T**T
359211T**T
359212T**T
359213T**T
359214T**T
359215T**T
359216T**T
359217T**T
359218T**T
359219T**T
359220T**T
359221T**T
359222T**T
359223T**T
359224FFFT
359225TFFT
359226T**T
359227T**T
359228T**T
359229T**T
359230T**T
378654T**T
378655T**T
378656T**T
378657T**T
378658T**T
378659T**T
378660T**T
378661T**T
381408T**T
381409T**T
381410T**T
381411T**T
381412T**T
381413T**T
381414T**T
381415T**T
381416T**T
381417FFFT
381418T**T
384260T**T
384261T**T
384262T**T
384263T**T
384264T**T
384265T**T
384266TFFT
384267T**T

Independent-effect pairs

All 3 conditions live in dlfree — 3 br_if

← back to scry-mcdc