Decision #1450 — dlmalloc.c:83

Status: no_witness

Truth table

rowc0 br 9589c1 br 9591c2 br 9592outcome
5697T**T
5698T**T
5699T**T
5700T**T
5701T**T
5702T**T
5703T**T
5704T**T
5705T**T
5706T**T
5707T**T
5708T**T
5709T**T
5710T**T
5711T**T
5712T**T
5713T**T
5714T**T
5715T**T
5716T**T
5717T**T
5718T**T
5719T**T
5720T**T
5721T**T
5722T**T
5723T**T
5724T**T
5725T**T
5726T**T
5727T**T
5728T**T
5729T**T
5730T**T
5731T**T
5732T**T
5733T**T
5734T**T
5735T**T
12583T**T
12584T**T
12585T**T
12586T**T
12587T**T
12588T**T
12589T**T
12590T**T
12591T**T
12592T**T
12593T**T
12594T**T
12595T**T
12596T**T
12597T**T
12598T**T
12599T**T
12600T**T
12601T**T
12602T**T
12603T**T
12604T**T
12605T**T
12606T**T
12607T**T
12608T**T
12609T**T
12610T**T
12611T**T
12612T**T
12613T**T
12614T**T
12615T**T
12616T**T
12617T**T
12618T**T
12619T**T
12620T**T
12621T**T
19663T**T
19664T**T
19665T**T
19666T**T
19667T**T
19668T**T
19669T**T
19670T**T
19671T**T
19672T**T
19673T**T
19674T**T
19675T**T
19676T**T
19677T**T
19678T**T
19679T**T
19680T**T
19681T**T
19682T**T
19683T**T
19684T**T
19685T**T
19686T**T
19687T**T
19688T**T
19689T**T
19690T**T
19691T**T
19692T**T
19693T**T
19694T**T
19695T**T
19696T**T
19697T**T
19698T**T
19699T**T
19700T**T
19701T**T
19702T**T
23436T**T
23437T**T
23438T**T
23439T**T
23440T**T
23441T**T
23442T**T
23443T**T
23444T**T
23445T**T
23446T**T
23447T**T
23448T**T
23449T**T
23450T**T
23451T**T
23452T**T
26126T**T
26127T**T
26128T**T
26129T**T
26130T**T
26131T**T
26132T**T
26133T**T
26134T**T
26135T**T
26136T**T
26137T**T
26138T**T
26139T**T
26140T**T
26141T**T
26142T**T
28822T**T
28823T**T
28824T**T
28825T**T
28826T**T
28827T**T
28828T**T
28829T**T
28830T**T
28831T**T
28832T**T
28833T**T
28834T**T
28835T**T
28836T**T
28837T**T
28838T**T
48086T**T
48087T**T
48088T**T
48089T**T
48090T**T
48091T**T
48092T**T
48093T**T
48094T**T
48095T**T
48096T**T
48097T**T
48098T**T
48099T**T
48100T**T
48101T**T
48102T**T
48103T**T
48104T**T
48105T**T
48106T**T
48107T**T
48108T**T
48109T**T
48110T**T
48111T**T
48112T**T
48113T**T
48114T**T
48115T**T
48116T**T
48117T**T
48118T**T
48119T**T
48120T**T
48121T**T
48122T**T
48123T**T
48124T**T
48125T**T
48126T**T
48127T**T
48128T**T
48129T**T
48130T**T
48131T**T
48132T**T
48133T**T
48134T**T
48135T**T
48136T**T
48137T**T
48138T**T
48139T**T
48140T**T
48141T**T
48142T**T
48143T**T
48144T**T
48145T**T
48146T**T
48147T**T
48148T**T
48149T**T
48150T**T
48151T**T
48152T**T
68858T**T
68859T**T
68860T**T
68861T**T
68862T**T
68863T**T
68864T**T
68865T**T
68866T**T
68867T**T
68868T**T
68869T**T
68870T**T
68871T**T
68872T**T
68873T**T
68874T**T
68875T**T
68876T**T
68877T**T
68878T**T
68879T**T
68880T**T
68881T**T
68882T**T
68883T**T
68884T**T
68885T**T
68886T**T
68887T**T
68888T**T
68889T**T
68890T**T
68891T**T
68892T**T
68893T**T
68894T**T
68895T**T
68896T**T
68897T**T
68898T**T
68899T**T
68900T**T
68901T**T
68902T**T
68903T**T
68904T**T
68905T**T
68906T**T
68907T**T
68908T**T
68909T**T
68910T**T
68911T**T
68912T**T
68913T**T
68914T**T
68915T**T
68916T**T
68917T**T
68918T**T
68919T**T
68920T**T
68921T**T
68922T**T
68923T**T
68924T**T
79528T**T
79529T**T
79530T**T
79531T**T
79532T**T
79533T**T
79534T**T
79535T**T
79536T**T
79537T**T
79538T**T
79539T**T
79540T**T
79541T**T
79542T**T
79543T**T
79544T**T
79545T**T
79546T**T
79547T**T
79548T**T
79549T**T
79550T**T
79551T**T
79552T**T
79553T**T
79554T**T
79555T**T
79556T**T
79557T**T
79558T**T
79559T**T
89411T**T
89412T**T
89413T**T
89414T**T
89415T**T
89416T**T
89417T**T
89418T**T
89419T**T
89420T**T
89421T**T
89422T**T
89423T**T
89424T**T
89425T**T
89426T**T
89427T**T
89428T**T
89429T**T
89430T**T
89431T**T
89432T**T
89433T**T
89434T**T
89435T**T
89436T**T
89437T**T
89438T**T
89439T**T
89440T**T
89441T**T
89442T**T
97025T**T
97026T**T
97027T**T
97028T**T
97029T**T
97030T**T
97031T**T
97032T**T
97033T**T
97034T**T
97035T**T
97036T**T
97037T**T
97038T**T
97039T**T
97040T**T
97041T**T
97042T**T
97043T**T
97044T**T
97045T**T
97046T**T
97047T**T
97048T**T
97049T**T
97050T**T
97051T**T
97052T**T
97053T**T
97054T**T
97055T**T
97056T**T
97057T**T
97058T**T
97059T**T
97060T**T
97061T**T
97062T**T
105164T**T
105165T**T
105166T**T
105167T**T
105168T**T
105169T**T
105170T**T
105171T**T
105172T**T
105173T**T
105174T**T
105175T**T
105176T**T
105177T**T
105178T**T
105179T**T
105180T**T
105181T**T
105182T**T
105183T**T
105184T**T
105185T**T
105186T**T
105187T**T
105188T**T
105189T**T
105190T**T
105191T**T
105192T**T
105193T**T
105194T**T
105195T**T
105196T**T
105197T**T
105198T**T
105199T**T
105200T**T
105201T**T
105202T**T
105203T**T
113529T**T
113530T**T
113531T**T
113532T**T
113533T**T
113534T**T
113535T**T
113536T**T
113537T**T
113538T**T
113539T**T
113540T**T
113541T**T
113542T**T
113543T**T
113544T**T
113545T**T
113546T**T
113547T**T
113548T**T
113549T**T
113550T**T
113551T**T
113552T**T
113553T**T
113554T**T
113555T**T
113556T**T
113557T**T
113558T**T
113559T**T
113560T**T
113561T**T
113562T**T
113563T**T
113564T**T
113565T**T
113566T**T
121369T**T
121370T**T
121371T**T
121372T**T
121373T**T
121374T**T
121375T**T
121376T**T
121377T**T
121378T**T
121379T**T
121380T**T
121381T**T
121382T**T
121383T**T
121384T**T
121385T**T
121386T**T
121387T**T
121388T**T
121389T**T
121390T**T
121391T**T
121392T**T
121393T**T
121394T**T
121395T**T
121396T**T
121397T**T
121398T**T
121399T**T
121400T**T
121401T**T
121402T**T
121403T**T
121404T**T
121405T**T
121406T**T
138112T**T
138113T**T
138114T**T
138115T**T
138116T**T
138117T**T
138118T**T
138119T**T
138120T**T
138121T**T
138122T**T
138123T**T
138124T**T
138125T**T
138126T**T
138127T**T
138128T**T
138129T**T
138130T**T
138131T**T
138132T**T
138133T**T
138134T**T
138135T**T
138136T**T
138137T**T
138138T**T
138139T**T
138140T**T
138141T**T
138142T**T
138143T**T
138144T**T
138145T**T
138146T**T
138147T**T
138148T**T
138149T**T
138150T**T
154831T**T
154832T**T
154833T**T
154834T**T
154835T**T
154836T**T
154837T**T
154838T**T
154839T**T
154840T**T
154841T**T
154842T**T
154843T**T
154844T**T
154845T**T
154846T**T
154847T**T
154848T**T
154849T**T
154850T**T
154851T**T
154852T**T
154853T**T
154854T**T
154855T**T
154856T**T
154857T**T
154858T**T
154859T**T
154860T**T
154861T**T
154862T**T
154863T**T
154864T**T
154865T**T
154866T**T
154867T**T
154868T**T
154869T**T
164066T**T
164067T**T
164068T**T
164069T**T
164070T**T
164071T**T
164072T**T
164073T**T
164074T**T
164075T**T
164076T**T
164077T**T
164078T**T
164079T**T
164080T**T
164081T**T
164082T**T
164083T**T
164084T**T
164085T**T
164086T**T
164087T**T
164088T**T
164089T**T
164090T**T
164091T**T
164092T**T
164093T**T
164094T**T
164095T**T
164096T**T
164097T**T
164098T**T
164099T**T
164100T**T
164101T**T
164102T**T
164103T**T
164104T**T
164105T**T
164106T**T
164107T**T
164108T**T
164109T**T
164110T**T
164111T**T
164112T**T
164113T**T
164114T**T
164115T**T
164116T**T
164117T**T
164118T**T
164119T**T
164120T**T
164121T**T
164122T**T
164123T**T
164124T**T
164125T**T
164126T**T
164127T**T
164128T**T
164129T**T
164130T**T
164131T**T
164132T**T
164133T**T
164134T**T
164135T**T
164136T**T
164137T**T
164138T**T
173924T**T
173925T**T
173926T**T
173927T**T
173928T**T
173929T**T
173930T**T
173931T**T
173932T**T
173933T**T
173934T**T
173935T**T
173936T**T
173937T**T
173938T**T
173939T**T
173940T**T
173941T**T
173942T**T
173943T**T
173944T**T
173945T**T
173946T**T
173947T**T
173948T**T
173949T**T
173950T**T
173951T**T
173952T**T
173953T**T
173954T**T
173955T**T
173956T**T
173957T**T
173958T**T
173959T**T
173960T**T
173961T**T
173962T**T
173963T**T
173964T**T
173965T**T
173966T**T
173967T**T
173968T**T
173969T**T
173970T**T
173971T**T
173972T**T
173973T**T
173974T**T
173975T**T
173976T**T
173977T**T
173978T**T
173979T**T
173980T**T
173981T**T
173982T**T
173983T**T
173984T**T
173985T**T
173986T**T
173987T**T
173988T**T
173989T**T
173990T**T
173991T**T
173992T**T
173993T**T
173994T**T
173995T**T
173996T**T
179410T**T
179411T**T
183207T**T
183208T**T
183209T**T
183210T**T
183211T**T
183212T**T
183213T**T
183214T**T
183215T**T
183216T**T
183217T**T
183218T**T
183219T**T
186427T**T
186428T**T
186429T**T
186430T**T
186431T**T
186432T**T
186433T**T
186434T**T
186435T**T
186436T**T
186437T**T
186438T**T
186439T**T
189634T**T
189635T**T
189636T**T
189637T**T
189638T**T
189639T**T
189640T**T
189641T**T
189642T**T
189643T**T
189644T**T
189645T**T
189646T**T
194157T**T
194158T**T
194159T**T
194160T**T
194161T**T
194162T**T
194163T**T
194164T**T
194165T**T
194166T**T
194167T**T
194168T**T
194169T**T
194170T**T
194171T**T
194172T**T
194173T**T
194174T**T
194175T**T
201561T**T
201562T**T
201563T**T
201564T**T
201565T**T
201566T**T
201567T**T
201568T**T
201569T**T
201570T**T
201571T**T
201572T**T
201573T**T
201574T**T
201575T**T
201576T**T
201577T**T
201578T**T
201579T**T
201580T**T
201581T**T
201582T**T
201583T**T
201584T**T
201585T**T
201586T**T
201587T**T
201588T**T
201589T**T
201590T**T
201591T**T
201592T**T
201593T**T
201594T**T
201595T**T
201596T**T
201597T**T
201598T**T
201599T**T
201600T**T
201601T**T
201602T**T
201603T**T
201604T**T
201605T**T
201606T**T
201607T**T
201608T**T
201609T**T
201610T**T
201611T**T
205624T**T
205625T**T
205626T**T
205627T**T
205628T**T
205629T**T
205630T**T
205631T**T
205632T**T
205633T**T
205634T**T
205635T**T
205636T**T
212682T**T
212683T**T
212684T**T
212685T**T
212686T**T
212687T**T
212688T**T
212689T**T
212690T**T
212691T**T
212692T**T
212693T**T
212694T**T
212695T**T
212696T**T
212697T**T
212698T**T
212699T**T
212700T**T
212701T**T
212702T**T
212703T**T
212704T**T
212705T**T
212706T**T
212707T**T
212708T**T
212709T**T
212710T**T
212711T**T
212712T**T
212713T**T
212714T**T
212715T**T
212716T**T
212717T**T
212718T**T
220238T**T
220239T**T
220240T**T
220241T**T
220242T**T
220243T**T
220244T**T
220245T**T
220246T**T
220247T**T
220248T**T
220249T**T
220250T**T
220251T**T
220252T**T
220253T**T
220254T**T
220255T**T
220256T**T
220257T**T
220258T**T
220259T**T
220260T**T
220261T**T
220262T**T
220263T**T
220264T**T
220265T**T
220266T**T
220267T**T
220268T**T
220269T**T
220270T**T
220271T**T
220272T**T
220273T**T
220274T**T
292370T**T
292371T**T
292372T**T
292373T**T
292374T**T
292375T**T
292376T**T
292377T**T
292378T**T
292379T**T
292380T**T
292381T**T
292382T**T
292383T**T
292384T**T
292385T**T
292386T**T
292387T**T
292388T**T
292389T**T
292390T**T
292391T**T
292392T**T
292393T**T
292394T**T
292395T**T
292396T**T
292397T**T
292398T**T
292399T**T
292400T**T
292401T**T
292402T**T
292403T**T
292404T**T
292405T**T
292406T**T
292407T**T
292408T**T
292409T**T
292410T**T
292411T**T
292412T**T
292413T**T
292414T**T
292415T**T
292416T**T
292417T**T
292418T**T
292419T**T
292420T**T
292421T**T
292422T**T
292423T**T
292424T**T
292425T**T
292426T**T
292427T**T
292428T**T
292429T**T
292430T**T
292431T**T
292432T**T
292433T**T
292434T**T
292435T**T
292436T**T
292437T**T
292438T**T
292439T**T
292440T**T
292441T**T
292442T**T
292443T**T
292444T**T
292445T**T
292446T**T
292447T**T
292448T**T
292449T**T
292450T**T
292451T**T
292452T**T
292453T**T
292454T**T
292455T**T
292456T**T
292457T**T
292458T**T
292459T**T
292460T**T
292461T**T
292462T**T
292463T**T
292464T**T
292465T**T
292466T**T
292467T**T
292468T**T
292469T**T
292470T**T
292471T**T
292472T**T
292473T**T
292474T**T
292475T**T
292476T**T
292477T**T
292478T**T
292479T**T
292480T**T
292481T**T
292482T**T
292483T**T
292484T**T
292485T**T
292486T**T
292487T**T
292488T**T
292489T**T
292490T**T
292491T**T
292492T**T
292493T**T
292494T**T
292495T**T
292496T**T
292497T**T
292498T**T
292499T**T
292500T**T
292501T**T
292502T**T
292503T**T
292504T**T
292505T**T
292506T**T
292507T**T
292508T**T
292509T**T
292510T**T
292511T**T
292512T**T
292513T**T
292514T**T
292515T**T
292516T**T
292517T**T
292518T**T
292519T**T
292520T**T
292521T**T
292522T**T
292523T**T
292524T**T
292525T**T
292526T**T
292527T**T
292528T**T
292529T**T
292530T**T
292531T**T
292532T**T
292533T**T
292534T**T
292535T**T
292536T**T
292537T**T
292538T**T
292539T**T
292540T**T
292541T**T
292542T**T
292543T**T
292544T**T
292545T**T
292546T**T
292547T**T
292548T**T
292549T**T
292550T**T
292551T**T
292552T**T
292553T**T
292554T**T
292555T**T
292556T**T
292557T**T
292558T**T
292559T**T
292560T**T
292561T**T
292562T**T
292563T**T
292564T**T
292565T**T
292566T**T
292567T**T
292568T**T
292569T**T
292570T**T
292571T**T
292572T**T
292573T**T
292574T**T
292575T**T
292576T**T
292577T**T
292578T**T
292579T**T
292580T**T
292581T**T
292582T**T
292583T**T
292584T**T
292585T**T
292586T**T
292587T**T
292588T**T
292589T**T
292590T**T
292591T**T
292592T**T
292593T**T
292594T**T
292595T**T
292596T**T
292597T**T
292598T**T
292599T**T
292600T**T
292601T**T
292602T**T
292603T**T
292604T**T
292605T**T
292606T**T
292607T**T
292608T**T
292609T**T
292610T**T
292611T**T
292612T**T
292613T**T
292614T**T
292615T**T
292616T**T
292617T**T
292618T**T
292619T**T
292620T**T
292621T**T
292622T**T
292623T**T
292624T**T
292625T**T
292626T**T
292627T**T
292628T**T
292629T**T
292630T**T
292631T**T
292632T**T
292633T**T
369747T**T
369748T**T
369749T**T
369750T**T
369751T**T
369752T**T
369753T**T
369754T**T
369755T**T
369756T**T
369757T**T
369758T**T
369759T**T
369760T**T
369761T**T
369762T**T
369763T**T
369764T**T
369765T**T
369766T**T
369767T**T
369768T**T
369769T**T
369770T**T
369771T**T
369772T**T
369773T**T
369774T**T
369775T**T
369776T**T
369777T**T
369778T**T
369779T**T
369780T**T
369781T**T
369782T**T
369783T**T
369784T**T
369785T**T
369786T**T
369787T**T
369788T**T
369789T**T
369790T**T
369791T**T
369792T**T
369793T**T
369794T**T
369795T**T
369796T**T
369797T**T
369798T**T
369799T**T
369800T**T
369801T**T
369802T**T
369803T**T
369804T**T
369805T**T
369806T**T
369807T**T
369808T**T
369809T**T
369810T**T
369811T**T
369812T**T
369813T**T
369814T**T
369815T**T
369816T**T
369817T**T
369818T**T
369819T**T
369820T**T
369821T**T
369822T**T
369823T**T
369824T**T
369825T**T
369826T**T
369827T**T
369828T**T
369829T**T
369830T**T
369831T**T
369832T**T
369833T**T
369834T**T
369835T**T
369836T**T
369837T**T
369838T**T
369839T**T
369840T**T
369841T**T
369842T**T
369843T**T
369844T**T
369845T**T
369846T**T
369847T**T
369848T**T
369849T**T
369850T**T
369851T**T
369852T**T
369853T**T
369854T**T
369855T**T
369856T**T
369857T**T
369858T**T
369859T**T
369860T**T
369861T**T
369862T**T
369863T**T
369864T**T
369865T**T
369866T**T
369867T**T
369868T**T
369869T**T
369870T**T
369871T**T
369872T**T
369873T**T
369874T**T
369875T**T
369876T**T
369877T**T
369878T**T
369879T**T
369880T**T
369881T**T
369882T**T
369883T**T
369884T**T
369885T**T
369886T**T
369887T**T
369888T**T
369889T**T
369890T**T
369891T**T
369892T**T
369893T**T
369894T**T
369895T**T
369896T**T
369897T**T
369898T**T
369899T**T
369900T**T
369901T**T
369902T**T
369903T**T
369904T**T
369905T**T
369906T**T
369907T**T
369908T**T
369909T**T
369910T**T
369911T**T
369912T**T
369913T**T
369914T**T
369915T**T
369916T**T
369917T**T
369918T**T
369919T**T
369920T**T
369921T**T
369922T**T
369923T**T
369924T**T
369925T**T
369926T**T
369927T**T
369928T**T
369929T**T
369930T**T
369931T**T
369932T**T
369933T**T
369934T**T
369935T**T
369936T**T
369937T**T
369938T**T
369939T**T
369940T**T
369941T**T
369942T**T
369943T**T
369944T**T
369945T**T
369946T**T
369947T**T
369948T**T
369949T**T
369950T**T
369951T**T
369952T**T
369953T**T
369954T**T
369955T**T
369956T**T
369957T**T
369958T**T
369959T**T
369960T**T
369961T**T
369962T**T
369963T**T
369964T**T
369965T**T
369966T**T
369967T**T
369968T**T
369969T**T
369970T**T
369971T**T
369972T**T
369973T**T
369974T**T
369975T**T
369976T**T
369977T**T
369978T**T
369979T**T
369980T**T
369981T**T
369982T**T
369983T**T
369984T**T
369985T**T
369986T**T
369987T**T
369988T**T
369989T**T
369990T**T
369991T**T
369992T**T
369993T**T
369994T**T
369995T**T
369996T**T
369997T**T
369998T**T
369999T**T
370000T**T
370001T**T
370002T**T
370003T**T
370004T**T
370005T**T
370006T**T
370007T**T
370008T**T
370009T**T
370010T**T
378956T**T
378957T**T
378958T**T
378959T**T
378960T**T
378961T**T
378962T**T
378963T**T
378964T**T
378965T**T
378966T**T
381735T**T
381736T**T
381737T**T
381738T**T
381739T**T
381740T**T
381741T**T
381742T**T
381743T**T
381744T**T
381745T**T
384571T**T
384572T**T
384573T**T
384574T**T
384575T**T
384576T**T
384577T**T
384578T**T
384579T**T
384580T**T
384581T**T

Independent-effect pairs

All 3 conditions live in realloc — 3 br_if

← back to scry-mcdc