Decision #42 — library/alloc/src/vec/mod.rs:464

Status: full_mcdc

Truth table

rowc0 br 246c1 br 247outcome
206FFF
207T*T
208T*T
209FFF
210FFF
211T*T
212T*T
213FFF
214FFF
215T*T
216T*T
217FFF
3246FFF
3247T*T
3248T*T
3249FFF
3250FFF
3251T*T
3252T*T
3253FFF
3254FFF
3255T*T
3256T*T
3257FFF
6141FFF
6142T*T
6143T*T
6144FFF
6145FFF
6146T*T
6147T*T
6148FFF
6149FFF
6150T*T
6151T*T
6152FFF
13003FFF
13004T*T
13005T*T
13006T*T
13007T*T
13008FFF
13009T*T
13010T*T
13011T*T
13012T*T
13013FFF
13014T*T
13015T*T
13016T*T
13017T*T
13018FFF
13019FFF
13020T*T
13021T*T
13022T*T
13023T*T
13024FFF
13025T*T
13026T*T
13027T*T
13028T*T
13029FFF
13030FTT
13031FFF
13032T*T
13033T*T
13034T*T
13035T*T
13036FFF
13037T*T
13038T*T
13039T*T
13040T*T
13041FFF
13042FTT
13043FFF
13044T*T
13045T*T
13046T*T
13047T*T
13048FFF
13049T*T
13050T*T
13051T*T
13052T*T
13053FFF
13054FTT
13055FFF
13056T*T
13057T*T
13058T*T
13059T*T
13060FFF
13061T*T
13062T*T
13063T*T
13064T*T
13065FFF
13066FTT
13067FFF
13068T*T
13069T*T
13070T*T
13071T*T
13072FFF
13073T*T
13074T*T
13075T*T
13076T*T
13077FFF
13078FTT
13079FFF
13080T*T
13081T*T
13082T*T
13083T*T
13084FFF
13085T*T
13086T*T
13087T*T
13088T*T
13089FFF
13090FTT
13091FFF
13092T*T
13093T*T
13094T*T
13095T*T
13096FFF
13097T*T
13098T*T
13099T*T
13100T*T
13101FFF
13102FTT
13103FFF
13104T*T
13105T*T
13106T*T
13107T*T
13108FFF
13109T*T
13110T*T
13111T*T
13112T*T
13113FFF
13114FTT
20721FFF
20722T*T
20723T*T
20724T*T
20725T*T
20726FFF
20727T*T
20728T*T
20729T*T
20730T*T
20731FFF
20732T*T
20733T*T
20734T*T
20735T*T
20736FFF
20737FFF
20738T*T
20739T*T
20740T*T
20741T*T
20742FFF
20743T*T
20744T*T
20745T*T
20746T*T
20747FFF
20748FTT
20749FFF
20750T*T
20751T*T
20752T*T
20753T*T
20754FFF
20755T*T
20756T*T
20757T*T
20758T*T
20759FFF
20760FTT
20761FFF
20762T*T
20763T*T
20764T*T
20765T*T
20766FFF
20767T*T
20768T*T
20769T*T
20770T*T
20771FFF
20772FTT
20773FFF
20774T*T
20775T*T
20776T*T
20777T*T
20778FFF
20779T*T
20780T*T
20781T*T
20782T*T
20783FFF
20784FTT
20785FFF
20786T*T
20787T*T
20788T*T
20789T*T
20790FFF
20791T*T
20792T*T
20793T*T
20794T*T
20795FFF
20796FTT
20797FFF
20798T*T
20799T*T
20800T*T
20801T*T
20802FFF
20803T*T
20804T*T
20805T*T
20806T*T
20807FFF
20808FTT
20809FFF
20810T*T
20811T*T
20812T*T
20813T*T
20814FFF
20815T*T
20816T*T
20817T*T
20818T*T
20819FFF
20820FTT
20821FFF
20822T*T
20823T*T
20824T*T
20825T*T
20826FFF
20827T*T
20828T*T
20829T*T
20830T*T
20831FFF
20832FTT
28316FFF
28317FFF
28318T*T
28319FFF
28320FFF
28321FFF
28322T*T
28323FFF
28324FFF
28325FFF
28326T*T
28327FFF
28328FFF
28329FFF
28330T*T
28331FFF
28332FFF
28333FTT
28334FFF
28335FFF
28336T*T
28337FFF
28338FFF
28339FFF
28340T*T
28341FFF
34254FFF
34255FFF
34256T*T
34257FFF
34258FFF
34259FFF
34260T*T
34261FFF
34262FFF
34263FFF
34264T*T
34265FFF
34266FFF
34267FFF
34268T*T
34269FFF
34270FFF
34271FTT
34272FFF
34273FFF
34274T*T
34275FFF
34276FFF
34277FFF
34278T*T
34279FFF
40217FFF
40218T*T
40219T*T
40220FFF
40221FFF
40222T*T
40223T*T
40224FFF
40225FFF
40226T*T
40227T*T
40228FFF
40229FFF
40230T*T
40231T*T
40232FFF
40233FFF
40234T*T
40235T*T
40236FFF
40237FFF
40238T*T
40239T*T
40240FFF
40241FFF
40242T*T
40243T*T
40244FFF
40245FFF
40246T*T
40247T*T
40248FFF
40249FFF
40250T*T
40251T*T
40252FFF
40253FFF
40254T*T
40255T*T
40256FFF
40257FFF
40258T*T
40259T*T
40260FFF
43185FFF
43186T*T
43187T*T
43188FFF
43189FFF
43190T*T
43191T*T
43192FFF
43193FFF
43194T*T
43195T*T
43196FFF
43197FFF
43198T*T
43199T*T
43200FFF
43201FFF
43202T*T
43203T*T
43204FFF
43205FFF
43206T*T
43207T*T
43208FFF
43209FFF
43210T*T
43211T*T
43212FFF
43213FFF
43214T*T
43215T*T
43216FFF
43217FFF
43218T*T
43219T*T
43220FFF
43221FFF
43222T*T
43223T*T
43224FFF
43225FFF
43226T*T
43227T*T
43228FFF
46638FFF
46639T*T
46640T*T
46641FFF
46642FFF
46643T*T
46644T*T
46645FFF
46646FFF
46647T*T
46648T*T
46649FFF
46650FFF
46651T*T
46652T*T
46653FFF
46654FFF
46655T*T
46656T*T
46657FFF
46658FFF
46659T*T
46660T*T
46661FFF
46662FFF
46663T*T
46664T*T
46665FFF
46666FFF
46667T*T
46668T*T
46669FFF
46670FFF
46671T*T
46672T*T
46673FFF
46674FFF
46675T*T
46676T*T
46677FFF
46678FFF
46679T*T
46680T*T
46681FFF
49757FFF
49758T*T
49759T*T
49760FFF
49761FFF
49762T*T
49763T*T
49764FFF
49765FFF
49766T*T
49767T*T
49768FFF
49769FFF
49770T*T
49771T*T
49772FFF
49773FFF
49774T*T
49775T*T
49776FFF
49777FFF
49778T*T
49779T*T
49780FFF
49781FFF
49782T*T
49783T*T
49784FFF
49785FFF
49786T*T
49787T*T
49788FFF
49789FFF
49790T*T
49791T*T
49792FFF
49793FFF
49794T*T
49795T*T
49796FFF
49797FFF
49798T*T
49799T*T
49800FFF
52772FFF
52773T*T
52774T*T
52775T*T
52776T*T
52777FFF
52778T*T
52779T*T
52780T*T
52781T*T
52782FFF
52783FFF
52784T*T
52785T*T
52786FTT
52787FFF
52788T*T
52789T*T
52790T*T
52791T*T
52792FFF
52793T*T
52794T*T
52795T*T
52796T*T
52797FFF
52798FFF
52799T*T
52800T*T
52801FTT
52802FFF
52803T*T
52804T*T
52805T*T
52806T*T
52807FFF
52808T*T
52809T*T
52810T*T
52811T*T
52812FFF
52813FTT
52814FFF
52815T*T
52816T*T
52817T*T
52818T*T
52819FFF
52820T*T
52821T*T
52822T*T
52823T*T
52824FFF
52825FTT
52826FFF
52827T*T
52828T*T
52829T*T
52830T*T
52831FFF
52832T*T
52833T*T
52834T*T
52835T*T
52836FFF
52837FTT
52838FFF
52839T*T
52840T*T
52841T*T
52842T*T
52843FFF
52844T*T
52845T*T
52846T*T
52847T*T
52848FFF
52849FTT
52850FFF
52851T*T
52852T*T
52853T*T
52854T*T
52855FFF
52856T*T
52857T*T
52858T*T
52859T*T
52860FFF
52861FTT
52862FFF
52863T*T
52864T*T
52865T*T
52866T*T
52867FFF
52868T*T
52869T*T
52870T*T
52871T*T
52872FFF
52873FFF
52874T*T
52875T*T
52876FTT
52877FFF
52878T*T
52879T*T
52880T*T
52881T*T
52882FFF
52883T*T
52884T*T
52885T*T
52886T*T
52887FFF
52888FFF
52889T*T
52890T*T
52891FTT
62544FFF
62545T*T
62546T*T
62547T*T
62548T*T
62549FFF
62550T*T
62551T*T
62552T*T
62553T*T
62554FFF
62555FFF
62556T*T
62557T*T
62558FTT
62559FFF
62560T*T
62561T*T
62562T*T
62563T*T
62564FFF
62565T*T
62566T*T
62567T*T
62568T*T
62569FFF
62570FFF
62571T*T
62572T*T
62573FTT
62574FFF
62575T*T
62576T*T
62577T*T
62578T*T
62579FFF
62580T*T
62581T*T
62582T*T
62583T*T
62584FFF
62585FTT
62586FFF
62587T*T
62588T*T
62589T*T
62590T*T
62591FFF
62592T*T
62593T*T
62594T*T
62595T*T
62596FFF
62597FTT
62598FFF
62599T*T
62600T*T
62601T*T
62602T*T
62603FFF
62604T*T
62605T*T
62606T*T
62607T*T
62608FFF
62609FTT
62610FFF
62611T*T
62612T*T
62613T*T
62614T*T
62615FFF
62616T*T
62617T*T
62618T*T
62619T*T
62620FFF
62621FTT
62622FFF
62623T*T
62624T*T
62625T*T
62626T*T
62627FFF
62628T*T
62629T*T
62630T*T
62631T*T
62632FFF
62633FTT
62634FFF
62635T*T
62636T*T
62637T*T
62638T*T
62639FFF
62640T*T
62641T*T
62642T*T
62643T*T
62644FFF
62645FFF
62646T*T
62647T*T
62648FTT
62649FFF
62650T*T
62651T*T
62652T*T
62653T*T
62654FFF
62655T*T
62656T*T
62657T*T
62658T*T
62659FFF
62660FFF
62661T*T
62662T*T
62663FTT
92313FFF
92314T*T
92315T*T
92316T*T
92317T*T
92318FFF
92319T*T
92320T*T
92321T*T
92322T*T
92323FFF
92324T*T
92325T*T
92326T*T
92327T*T
92328FFF
92329FFF
92330T*T
92331T*T
92332T*T
92333T*T
92334FFF
92335T*T
92336T*T
92337T*T
92338T*T
92339FFF
92340FTT
92341FFF
92342FFF
92343T*T
92344T*T
92345FTT
92346FFF
92347FFF
92348T*T
92349T*T
92350FTT
92351FFF
92352FFF
92353T*T
92354T*T
92355FTT
92356FFF
92357FFF
92358T*T
92359T*T
92360FTT
92361FFF
92362FTT
92363FFF
92364FFF
92365T*T
92366T*T
92367FTT
92368FFF
92369FFF
92370T*T
92371T*T
92372FTT
111176FFF
111177T*T
111178T*T
111179T*T
111180T*T
111181FFF
111182T*T
111183T*T
111184T*T
111185T*T
111186FFF
111187T*T
111188T*T
111189T*T
111190T*T
111191FFF
111192FFF
111193T*T
111194T*T
111195T*T
111196T*T
111197FFF
111198T*T
111199T*T
111200T*T
111201T*T
111202FFF
111203FTT
111204FFF
111205FFF
111206T*T
111207T*T
111208FTT
111209FFF
111210FFF
111211T*T
111212T*T
111213FTT
111214FFF
111215FFF
111216T*T
111217T*T
111218FTT
111219FFF
111220FFF
111221T*T
111222T*T
111223FTT
111224FFF
111225FTT
111226FFF
111227FFF
111228T*T
111229T*T
111230FTT
111231FFF
111232FFF
111233T*T
111234T*T
111235FTT
129921FFF
129922T*T
129923T*T
129924FFF
129925FFF
129926T*T
129927T*T
129928FFF
129929FFF
129930T*T
129931T*T
129932FFF
129933FFF
129934T*T
129935T*T
129936FFF
131080FFF
131081T*T
131082T*T
131083FFF
131084FFF
131085T*T
131086T*T
131087FFF
131088FFF
131089T*T
131090T*T
131091FFF
131092FFF
131093T*T
131094T*T
131095FFF
132407FFF
132408T*T
132409T*T
132410FFF
132411FFF
132412T*T
132413T*T
132414FFF
132415FFF
132416T*T
132417T*T
132418FFF
132419FFF
132420T*T
132421T*T
132422FFF

Independent-effect pairs