Decision #717 — library/core/src/slice/cmp.rs:426

Status: partial

Truth table

rowc0 br 4685c1 br 4686c2 br 4688c3 br 4689outcome
1773FFFTT
1774*FFTT
1775*FFTT
1776*FFTT
1777*FFTT
1778*FFTT
1779*FFTT
1780*FFTT
1781*FFTT
1782*FFTT
1783*FFTT
1784*FFTT
1785*FFTT
1786*FFTT
1787*FFTT
1788*FFTT
1789*FFTT
1790*FFTT
1791*FFTT
1792*FFTT
1793*FFTT
1794*FFTT
1795*FFTT
1796*FFTT
1797*FFTT
1798*FFTT
1799*FFTT
1800*FFTT
1801*FFTT
1802*FFTT
1803*FFTT
1804*FFFF
8733FFFTT
8734*FFTT
8735*FFTT
8736*FFTT
8737*FFTT
8738*FFTT
8739*FFTT
8740*FFTT
8741*FFTT
8742*FFTT
8743*FFTT
8744*FFTT
8745*FFTT
8746*FFTT
8747*FFTT
8748*FFTT
8749*FFTT
8750*FFTT
8751*FFTT
8752*FFTT
8753*FFTT
8754*FFTT
8755*FFTT
8756*FFTT
8757*FFTT
8758*FFTT
8759*FFTT
8760*FFTT
8761*FFTT
8762*FFTT
8763*FFTT
8764*FFFF
15538FFFTT
15539*FFTT
15540*FFTT
15541*FFTT
15542*FFTT
15543*FFTT
15544*FFTT
15545*FFTT
15546*FFTT
15547*FFTT
15548*FFTT
15549*FFTT
15550*FFTT
15551*FFTT
15552*FFTT
15553*FFTT
15554*FFTT
15555*FFTT
15556*FFTT
15557*FFTT
15558*FFTT
15559*FFTT
15560*FFTT
15561*FFTT
15562*FFTT
15563*FFTT
15564*FFTT
15565*FFTT
15566*FFTT
15567*FFTT
15568*FFTT
15569*FFFF
21878FFFTT
21879*FFTT
21880*FFTT
21881*FFTT
21882*FFTT
21883*FFTT
21884*FFTT
21885*FFTT
21886*FFTT
21887*FFTT
21888*FFTT
21889*FFTT
21890*FFTT
21891*FFTT
21892*FFTT
21893*FFTT
21894*FFTT
21895*FFTT
21896*FFTT
21897*FFTT
21898*FFTT
21899*FFTT
21900*FFTT
21901*FFTT
21902*FFTT
21903*FFTT
21904*FFTT
21905*FFTT
21906*FFTT
21907*FFTT
21908*FFTT
21909*FFFF
24621FFFTT
24622*FFTT
24623*FFTT
24624*FFTT
24625*FFTT
24626*FFTT
24627*FFTT
24628*FFTT
24629*FFTT
24630*FFTT
24631*FFTT
24632*FFTT
24633*FFTT
24634*FFTT
24635*FFTT
24636*FFTT
24637*FFTT
24638*FFTT
24639*FFTT
24640*FFTT
24641*FFTT
24642*FFTT
24643*FFTT
24644*FFTT
24645*FFTT
24646*FFTT
24647*FFTT
24648*FFTT
24649*FFTT
24650*FFTT
24651*FFTT
24652*FFFF
27264FFFTT
27265*FFTT
27266*FFTT
27267*FFTT
27268*FFTT
27269*FFTT
27270*FFTT
27271*FFTT
27272*FFTT
27273*FFTT
27274*FFTT
27275*FFTT
27276*FFTT
27277*FFTT
27278*FFTT
27279*FFTT
27280*FFTT
27281*FFTT
27282*FFTT
27283*FFTT
27284*FFTT
27285*FFTT
27286*FFTT
27287*FFTT
27288*FFTT
27289*FFTT
27290*FFTT
27291*FFTT
27292*FFTT
27293*FFTT
27294*FFTT
27295*FFFF
30993FFFTT
30994*FFTT
30995*FFTT
30996*FFTT
30997*FFTT
30998*FFTT
30999*FFTT
31000*FFTT
31001*FFTT
31002*FFTT
31003*FFTT
31004*FFTT
31005*FFTT
31006*FFTT
31007*FFTT
31008*FFTT
31009*FFTT
31010*FFTT
31011*FFTT
31012*FFTT
31013*FFTT
31014*FFTT
31015*FFTT
31016*FFTT
31017*FFTT
31018*FFTT
31019*FFTT
31020*FFTT
31021*FFTT
31022*FFTT
31023*FFTT
31024*FFFF
51848FFFTT
51849*FFTT
51850*FFTT
51851*FFTT
51852*FFTT
51853*FFTT
51854*FFTT
51855*FFTT
51856*FFTT
51857*FFTT
51858*FFTT
51859*FFTT
51860*FFTT
51861*FFTT
51862*FFTT
51863*FFTT
51864*FFTT
51865*FFTT
51866*FFTT
51867*FFTT
51868*FFTT
51869*FFTT
51870*FFTT
51871*FFTT
51872*FFTT
51873*FFTT
51874*FFTT
51875*FFTT
51876*FFTT
51877*FFTT
51878*FFTT
51879*FFFF
72766FFFTT
72767*FFTT
72768*FFTT
72769*FFTT
72770*FFTT
72771*FFTT
72772*FFTT
72773*FFTT
72774*FFTT
72775*FFTT
72776*FFTT
72777*FFTT
72778*FFTT
72779*FFTT
72780*FFTT
72781*FFTT
72782*FFTT
72783*FFTT
72784*FFTT
72785*FFTT
72786*FFTT
72787*FFTT
72788*FFTT
72789*FFTT
72790*FFTT
72791*FFTT
72792*FFTT
72793*FFTT
72794*FFTT
72795*FFTT
72796*FFTT
72797*FFFF
82649FFFTT
82650*FFTT
82651*FFTT
82652*FFTT
82653*FFTT
82654*FFTT
82655*FFTT
82656*FFTT
82657*FFTT
82658*FFTT
82659*FFTT
82660*FFTT
82661*FFTT
82662*FFTT
82663*FFTT
82664*FFTT
82665*FFTT
82666*FFTT
82667*FFTT
82668*FFTT
82669*FFTT
82670*FFTT
82671*FFTT
82672*FFTT
82673*FFTT
82674*FFTT
82675*FFTT
82676*FFTT
82677*FFTT
82678*FFTT
82679*FFTT
82680*FFFF
92506FFFTT
92507*FFTT
92508*FFTT
92509*FFTT
92510*FFTT
92511*FFTT
92512*FFTT
92513*FFTT
92514*FFTT
92515*FFTT
92516*FFTT
92517*FFTT
92518*FFTT
92519*FFTT
92520*FFTT
92521*FFTT
92522*FFTT
92523*FFTT
92524*FFTT
92525*FFTT
92526*FFTT
92527*FFTT
92528*FFTT
92529*FFTT
92530*FFTT
92531*FFTT
92532*FFTT
92533*FFTT
92534*FFTT
92535*FFTT
92536*FFTT
92537*FFFF
100337FFFTT
100338*FFTT
100339*FFTT
100340*FFTT
100341*FFTT
100342*FFTT
100343*FFTT
100344*FFTT
100345*FFTT
100346*FFTT
100347*FFTT
100348*FFTT
100349*FFTT
100350*FFTT
100351*FFTT
100352*FFTT
100353*FFTT
100354*FFTT
100355*FFTT
100356*FFTT
100357*FFTT
100358*FFTT
100359*FFTT
100360*FFTT
100361*FFTT
100362*FFTT
100363*FFTT
100364*FFTT
100365*FFTT
100366*FFTT
100367*FFTT
100368*FFFF
108826FFFTT
108827*FFTT
108828*FFTT
108829*FFTT
108830*FFTT
108831*FFTT
108832*FFTT
108833*FFTT
108834*FFTT
108835*FFTT
108836*FFTT
108837*FFTT
108838*FFTT
108839*FFTT
108840*FFTT
108841*FFTT
108842*FFTT
108843*FFTT
108844*FFTT
108845*FFTT
108846*FFTT
108847*FFTT
108848*FFTT
108849*FFTT
108850*FFTT
108851*FFTT
108852*FFTT
108853*FFTT
108854*FFTT
108855*FFTT
108856*FFTT
108857*FFFF
116850FFFTT
116851*FFTT
116852*FFTT
116853*FFTT
116854*FFTT
116855*FFTT
116856*FFTT
116857*FFTT
116858*FFTT
116859*FFTT
116860*FFTT
116861*FFTT
116862*FFTT
116863*FFTT
116864*FFTT
116865*FFTT
116866*FFTT
116867*FFTT
116868*FFTT
116869*FFTT
116870*FFTT
116871*FFTT
116872*FFTT
116873*FFTT
116874*FFTT
116875*FFTT
116876*FFTT
116877*FFTT
116878*FFTT
116879*FFTT
116880*FFTT
116881*FFFF
124733FFFTT
124734*FFTT
124735*FFTT
124736*FFTT
124737*FFTT
124738*FFTT
124739*FFTT
124740*FFTT
124741*FFTT
124742*FFTT
124743*FFTT
124744*FFTT
124745*FFTT
124746*FFTT
124747*FFTT
124748*FFTT
124749*FFTT
124750*FFTT
124751*FFTT
124752*FFTT
124753*FFTT
124754*FFTT
124755*FFTT
124756*FFTT
124757*FFTT
124758*FFTT
124759*FFTT
124760*FFTT
124761*FFTT
124762*FFTT
124763*FFTT
124764*FFFF
141452FFFTT
141453*FFTT
141454*FFTT
141455*FFTT
141456*FFTT
141457*FFTT
141458*FFTT
141459*FFTT
141460*FFTT
141461*FFTT
141462*FFTT
141463*FFTT
141464*FFTT
141465*FFTT
141466*FFTT
141467*FFTT
141468*FFTT
141469*FFTT
141470*FFTT
141471*FFTT
141472*FFTT
141473*FFTT
141474*FFTT
141475*FFTT
141476*FFTT
141477*FFTT
141478*FFTT
141479*FFTT
141480*FFTT
141481*FFTT
141482*FFTT
141483*FFFF
159106FFFTT
159107*FFTT
159108*FFTT
159109*FFTT
159110*FFTT
159111*FFTT
159112*FFTT
159113*FFTT
159114*FFTT
159115*FFTT
159116*FFTT
159117*FFTT
159118*FFTT
159119*FFTT
159120*FFTT
159121*FFTT
159122*FFTT
159123*FFTT
159124*FFTT
159125*FFTT
159126*FFTT
159127*FFTT
159128*FFTT
159129*FFTT
159130*FFTT
159131*FFTT
159132*FFTT
159133*FFTT
159134*FFTT
159135*FFTT
159136*FFTT
159137*FFFF
168964FFFTT
168965*FFTT
168966*FFTT
168967*FFTT
168968*FFTT
168969*FFTT
168970*FFTT
168971*FFTT
168972*FFTT
168973*FFTT
168974*FFTT
168975*FFTT
168976*FFTT
168977*FFTT
168978*FFTT
168979*FFTT
168980*FFTT
168981*FFTT
168982*FFTT
168983*FFTT
168984*FFTT
168985*FFTT
168986*FFTT
168987*FFTT
168988*FFTT
168989*FFTT
168990*FFTT
168991*FFTT
168992*FFTT
168993*FFTT
168994*FFTT
168995*FFFF
176852FFFTT
176853*FFTT
176854*FFTT
176855*FFTT
176856*FFTT
176857*FFTT
176858*FFTT
176859*FFTT
176860*FFTT
176861*FFTT
176862*FFTT
176863*FFTT
176864*FFTT
176865*FFTT
176866*FFTT
176867*FFTT
176868*FFTT
176869*FFTT
176870*FFTT
176871*FFTT
176872*FFTT
176873*FFTT
176874*FFTT
176875*FFTT
176876*FFTT
176877*FFTT
176878*FFTT
176879*FFTT
176880*FFTT
176881*FFTT
176882*FFTT
176883*FFFF
181375FFFTT
181376*FFTT
181377*FFTT
181378*FFTT
181379*FFTT
181380*FFTT
181381*FFTT
181382*FFTT
181383*FFTT
181384*FFTT
181385*FFTT
181386*FFTT
181387*FFTT
181388*FFTT
181389*FFTT
181390*FFTT
181391*FFTT
181392*FFTT
181393*FFTT
181394*FFTT
181395*FFTT
181396*FFTT
181397*FFTT
181398*FFTT
181399*FFTT
181400*FFTT
181401*FFTT
181402*FFTT
181403*FFTT
181404*FFTT
181405*FFTT
181406*FFFF
184694FFFTT
184695*FFTT
184696*FFTT
184697*FFTT
184698*FFTT
184699*FFTT
184700*FFTT
184701*FFTT
184702*FFTT
184703*FFTT
184704*FFTT
184705*FFTT
184706*FFTT
184707*FFTT
184708*FFTT
184709*FFTT
184710*FFTT
184711*FFTT
184712*FFTT
184713*FFTT
184714*FFTT
184715*FFTT
184716*FFTT
184717*FFTT
184718*FFTT
184719*FFTT
184720*FFTT
184721*FFTT
184722*FFTT
184723*FFTT
184724*FFTT
184725*FFFF
187802FFFTT
187803*FFTT
187804*FFTT
187805*FFTT
187806*FFTT
187807*FFTT
187808*FFTT
187809*FFTT
187810*FFTT
187811*FFTT
187812*FFTT
187813*FFTT
187814*FFTT
187815*FFTT
187816*FFTT
187817*FFTT
187818*FFTT
187819*FFTT
187820*FFTT
187821*FFTT
187822*FFTT
187823*FFTT
187824*FFTT
187825*FFTT
187826*FFTT
187827*FFTT
187828*FFTT
187829*FFTT
187830*FFTT
187831*FFTT
187832*FFTT
187833*FFFF
191434FFFTT
191435*FFTT
191436*FFTT
191437*FFTT
191438*FFTT
191439*FFTT
191440*FFTT
191441*FFTT
191442*FFTT
191443*FFTT
191444*FFTT
191445*FFTT
191446*FFTT
191447*FFTT
191448*FFTT
191449*FFTT
191450*FFTT
191451*FFTT
191452*FFTT
191453*FFTT
191454*FFTT
191455*FFTT
191456*FFTT
191457*FFTT
191458*FFTT
191459*FFTT
191460*FFTT
191461*FFTT
191462*FFTT
191463*FFTT
191464*FFTT
191465*FFFF
197213FFFTT
197214*FFTT
197215*FFTT
197216*FFTT
197217*FFTT
197218*FFTT
197219*FFTT
197220*FFTT
197221*FFTT
197222*FFTT
197223*FFTT
197224*FFTT
197225*FFTT
197226*FFTT
197227*FFTT
197228*FFTT
197229*FFTT
197230*FFTT
197231*FFTT
197232*FFTT
197233*FFTT
197234*FFTT
197235*FFTT
197236*FFTT
197237*FFTT
197238*FFTT
197239*FFTT
197240*FFTT
197241*FFTT
197242*FFTT
197243*FFTT
197244*FFFF
203492FFFTT
203493*FFTT
203494*FFTT
203495*FFTT
203496*FFTT
203497*FFTT
203498*FFTT
203499*FFTT
203500*FFTT
203501*FFTT
203502*FFTT
203503*FFTT
203504*FFTT
203505*FFTT
203506*FFTT
203507*FFTT
203508*FFTT
203509*FFTT
203510*FFTT
203511*FFTT
203512*FFTT
203513*FFTT
203514*FFTT
203515*FFTT
203516*FFTT
203517*FFTT
203518*FFTT
203519*FFTT
203520*FFTT
203521*FFTT
203522*FFTT
203523*FFFF
208538FFFTT
208539*FFTT
208540*FFTT
208541*FFTT
208542*FFTT
208543*FFTT
208544*FFTT
208545*FFTT
208546*FFTT
208547*FFTT
208548*FFTT
208549*FFTT
208550*FFTT
208551*FFTT
208552*FFTT
208553*FFTT
208554*FFTT
208555*FFTT
208556*FFTT
208557*FFTT
208558*FFTT
208559*FFTT
208560*FFTT
208561*FFTT
208562*FFTT
208563*FFTT
208564*FFTT
208565*FFTT
208566*FFTT
208567*FFTT
208568*FFTT
208569*FFFF
216064FFFTT
216065*FFTT
216066*FFTT
216067*FFTT
216068*FFTT
216069*FFTT
216070*FFTT
216071*FFTT
216072*FFTT
216073*FFTT
216074*FFTT
216075*FFTT
216076*FFTT
216077*FFTT
216078*FFTT
216079*FFTT
216080*FFTT
216081*FFTT
216082*FFTT
216083*FFTT
216084*FFTT
216085*FFTT
216086*FFTT
216087*FFTT
216088*FFTT
216089*FFTT
216090*FFTT
216091*FFTT
216092*FFTT
216093*FFTT
216094*FFTT
216095*FFFF
224469FFFTT
224470*FFTT
224471*FFTT
224472*FFTT
224473*FFTT
224474*FFTT
224475*FFTT
224476*FFTT
224477*FFTT
224478*FFTT
224479*FFTT
224480*FFTT
224481*FFTT
224482*FFTT
224483*FFTT
224484*FFTT
224485*FFTT
224486*FFTT
224487*FFTT
224488*FFTT
224489*FFTT
224490*FFTT
224491*FFTT
224492*FFTT
224493*FFTT
224494*FFTT
224495*FFTT
224496*FFTT
224497*FFTT
224498*FFTT
224499*FFTT
224500*FFFF
301846FFFTT
301847*FFTT
301848*FFTT
301849*FFTT
301850*FFTT
301851*FFTT
301852*FFTT
301853*FFTT
301854*FFTT
301855*FFTT
301856*FFTT
301857*FFTT
301858*FFTT
301859*FFTT
301860*FFTT
301861*FFTT
301862*FFTT
301863*FFTT
301864*FFTT
301865*FFTT
301866*FFTT
301867*FFTT
301868*FFTT
301869*FFTT
301870*FFTT
301871*FFTT
301872*FFTT
301873*FFTT
301874*FFTT
301875*FFTT
301876*FFTT
301877*FFFF
377236FFFTT
377237*FFTT
377238*FFTT
377239*FFTT
377240*FFTT
377241*FFTT
377242*FFTT
377243*FFTT
377244*FFTT
377245*FFTT
377246*FFTT
377247*FFTT
377248*FFTT
377249*FFTT
377250*FFTT
377251*FFTT
377252*FFTT
377253*FFTT
377254*FFTT
377255*FFTT
377256*FFTT
377257*FFTT
377258*FFTT
377259*FFTT
377260*FFTT
377261*FFTT
377262*FFTT
377263*FFTT
377264*FFTT
377265*FFTT
377266*FFTT
377267*FFFF
379893FFFTT
379894*FFTT
379895*FFTT
379896*FFTT
379897*FFTT
379898*FFTT
379899*FFTT
379900*FFTT
379901*FFTT
379902*FFTT
379903*FFTT
379904*FFTT
379905*FFTT
379906*FFTT
379907*FFTT
379908*FFTT
379909*FFTT
379910*FFTT
379911*FFTT
379912*FFTT
379913*FFTT
379914*FFTT
379915*FFTT
379916*FFTT
379917*FFTT
379918*FFTT
379919*FFTT
379920*FFTT
379921*FFTT
379922*FFTT
379923*FFTT
379924*FFFF
382777FFFTT
382778*FFTT
382779*FFTT
382780*FFTT
382781*FFTT
382782*FFTT
382783*FFTT
382784*FFTT
382785*FFTT
382786*FFTT
382787*FFTT
382788*FFTT
382789*FFTT
382790*FFTT
382791*FFTT
382792*FFTT
382793*FFTT
382794*FFTT
382795*FFTT
382796*FFTT
382797*FFTT
382798*FFTT
382799*FFTT
382800*FFTT
382801*FFTT
382802*FFTT
382803*FFTT
382804*FFTT
382805*FFTT
382806*FFTT
382807*FFTT
382808*FFFF

Independent-effect pairs

All 4 conditions live in <generic_array::GenericArray<u8, typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>> as core::fmt::LowerHex>::fmt — 4 br_if