Decision #664 — lib.rs:2464

Status: full_mcdc

Truth table

rowc0 br 4614c1 br 4615outcome
1588*TT
1589*TT
1590*TT
1591*TT
1592*TT
1593*TT
1594FTT
1595TTT
1596F*F
1597TTT
1598F*F
1599TTT
1600F*F
1601T*T
1602TTT
1603F*F
1604T*T
1605TTT
1606*FF
8548*TT
8549*TT
8550*TT
8551*TT
8552*TT
8553*TT
8554FTT
8555TTT
8556F*F
8557TTT
8558F*F
8559TTT
8560F*F
8561T*T
8562TTT
8563F*F
8564T*T
8565TTT
8566*FF
15349*TT
15350*TT
15351*TT
15352*TT
15353*TT
15354*TT
15355FTT
15356TTT
15357F*F
15358TTT
15359F*F
15360TTT
15361F*F
15362T*T
15363TTT
15364F*F
15365T*T
15366TTT
15367*FF
21811*TT
21812*TT
21813*TT
21814*TT
21815FTT
21816T*T
21817T*T
21818T*T
21819F*F
21820TTT
21821*FF
24554*TT
24555*TT
24556*TT
24557*TT
24558FTT
24559T*T
24560T*T
24561T*T
24562F*F
24563TTT
24564*FF
27197*TT
27198*TT
27199*TT
27200*TT
27201FTT
27202T*T
27203T*T
27204T*T
27205F*F
27206TTT
27207*FF
30910*TT
30911*TT
30912*TT
30913*TT
30914FTT
30915T*T
30916T*T
30917T*T
30918F*F
30919T*T
30920T*T
30921T*T
30922F*F
30923T*T
30924T*T
30925T*T
30926T*T
30927T*T
30928T*T
30929TTT
30930*FF
51765*TT
51766*TT
51767*TT
51768*TT
51769FTT
51770T*T
51771T*T
51772T*T
51773F*F
51774T*T
51775T*T
51776T*T
51777F*F
51778T*T
51779T*T
51780T*T
51781T*T
51782T*T
51783T*T
51784TTT
51785*FF
72686*TT
72687*TT
72688*TT
72689*TT
72690FTT
72691T*T
72692T*T
72693T*T
72694F*F
72695T*T
72696T*T
72697T*T
72698F*F
72699T*T
72700T*T
72701T*T
72702T*T
72703T*T
72704TTT
72705*FF
82569*TT
82570*TT
82571*TT
82572*TT
82573FTT
82574T*T
82575T*T
82576T*T
82577F*F
82578T*T
82579T*T
82580T*T
82581F*F
82582T*T
82583T*T
82584T*T
82585T*T
82586T*T
82587TTT
82588*FF
92356*TT
92357*TT
92358*TT
92359*TT
92360FTT
92361T*T
92362T*T
92363TTT
92364F*F
92365T*T
92366TTT
92367F*F
92368T*T
92369T*T
92370T*T
92371F*F
92372T*T
92373TTT
92374*TT
92375*FF
100185*TT
100186*TT
100187*TT
100188*TT
100189FTT
100190T*T
100191T*T
100192TTT
100193F*F
100194T*T
100195TTT
100196F*F
100197T*T
100198T*T
100199T*T
100200F*F
100201T*T
100202TTT
100203*TT
100204*FF
108674*TT
108675*TT
108676*TT
108677*TT
108678FTT
108679T*T
108680T*T
108681TTT
108682F*F
108683T*T
108684TTT
108685F*F
108686T*T
108687T*T
108688T*T
108689F*F
108690T*T
108691TTT
108692*TT
108693*FF
116700*TT
116701*TT
116702*TT
116703*TT
116704FTT
116705T*T
116706T*T
116707TTT
116708F*F
116709T*T
116710TTT
116711F*F
116712T*T
116713T*T
116714T*T
116715F*F
116716T*T
116717TTT
116718*TT
116719*FF
124650*TT
124651*TT
124652*TT
124653*TT
124654FTT
124655T*T
124656T*T
124657T*T
124658F*F
124659T*T
124660T*T
124661T*T
124662F*F
124663T*T
124664T*T
124665T*T
124666T*T
124667T*T
124668T*T
124669TTT
124670*FF
141369*TT
141370*TT
141371*TT
141372*TT
141373FTT
141374T*T
141375T*T
141376T*T
141377F*F
141378T*T
141379T*T
141380T*T
141381F*F
141382T*T
141383T*T
141384T*T
141385T*T
141386T*T
141387T*T
141388TTT
141389*FF
158890*TT
158891*TT
158892*TT
158893*TT
158894FTT
158895T*T
158896T*T
158897TTT
158898F*F
158899T*T
158900T*T
158901TTT
158902F*F
158903T*T
158904T*T
158905TTT
158906F*F
158907T*T
158908T*T
158909TTT
158910F*F
158911T*T
158912T*T
158913TTT
158914F*F
158915T*T
158916T*T
158917TTT
158918*FF
168748*TT
168749*TT
168750*TT
168751*TT
168752FTT
168753T*T
168754T*T
168755TTT
168756F*F
168757T*T
168758T*T
168759TTT
168760F*F
168761T*T
168762T*T
168763TTT
168764F*F
168765T*T
168766T*T
168767TTT
168768F*F
168769T*T
168770T*T
168771TTT
168772F*F
168773T*T
168774T*T
168775TTT
168776*FF
176742*TT
176743*TT
176744*TT
176745*TT
176746FTT
176747TTT
176748F*F
176749TTT
176750F*F
176751TTT
176752*TT
176753*FF
181306*TT
181307*TT
181308*TT
181309*TT
181310*TT
181311FTT
181312T*T
181313T*T
181314T*T
181315FTT
181316*FF
184625*TT
184626*TT
184627*TT
184628*TT
184629*TT
184630FTT
184631T*T
184632T*T
184633T*T
184634FTT
184635*FF
187733*TT
187734*TT
187735*TT
187736*TT
187737*TT
187738FTT
187739T*T
187740T*T
187741T*T
187742FTT
187743*FF
191347*TT
191348*TT
191349*TT
191350*TT
191351*TT
191352FTT
191353T*T
191354T*T
191355T*T
191356F*F
191357T*T
191358T*T
191359T*T
191360F*F
191361TTT
191362*TT
191363*FF
197042*TT
197043*TT
197044*TT
197045*TT
197046*TT
197047FTT
197048T*T
197049T*T
197050T*T
197051F*F
197052T*T
197053T*T
197054T*T
197055F*F
197056TTT
197057F*F
197058T*T
197059T*T
197060T*T
197061F*F
197062T*T
197063T*T
197064T*T
197065F*F
197066TTT
197067F*F
197068T*T
197069T*T
197070T*T
197071F*F
197072T*T
197073T*T
197074T*T
197075F*F
197076TTT
197077*TT
197078*FF
203412*TT
203413*TT
203414*TT
203415*TT
203416*TT
203417FTT
203418T*T
203419T*T
203420T*T
203421F*F
203422TTT
203423*TT
203424*FF
208387*TT
208388*TT
208389*TT
208390*TT
208391*TT
208392FTT
208393T*T
208394T*T
208395T*T
208396F*F
208397T*T
208398T*T
208399T*T
208400F*F
208401T*T
208402T*T
208403T*T
208404T*T
208405T*T
208406T*T
208407T*T
208408FTT
208409F*F
208410T*T
208411T*T
208412T*T
208413F*F
208414T*T
208415T*T
208416T*T
208417F*F
208418T*T
208419T*T
208420T*T
208421T*T
208422T*T
208423T*T
208424T*T
208425FTT
208426*TT
208427*FF
215967*TT
215968*TT
215969*TT
215970*TT
215971*TT
215972FTT
215973T*T
215974T*T
215975T*T
215976F*F
215977T*T
215978T*T
215979T*T
215980F*F
215981T*T
215982T*T
215983T*T
215984T*T
215985T*T
215986T*T
215987T*T
215988F*F
215989T*T
215990T*T
215991TTT
215992*TT
215993*FF
224387*TT
224388*TT
224389*TT
224390*TT
224391FTT
224392T*T
224393T*T
224394T*T
224395F*F
224396T*T
224397T*T
224398T*T
224399F*F
224400T*T
224401T*T
224402T*T
224403T*T
224404T*T
224405T*T
224406T*T
224407FTT
224408*FF
301764*TT
301765*TT
301766*TT
301767*TT
301768FTT
301769T*T
301770T*T
301771T*T
301772F*F
301773T*T
301774T*T
301775T*T
301776F*F
301777T*T
301778T*T
301779T*T
301780T*T
301781T*T
301782T*T
301783T*T
301784FTT
301785*FF
377173*TT
377174*TT
377175*TT
377176*TT
377177FTT
377178T*T
377179T*T
377180TTT
377181*FF
379830*TT
379831*TT
379832*TT
379833*TT
379834FTT
379835T*T
379836T*T
379837TTT
379838*FF
382714*TT
382715*TT
382716*TT
382717*TT
382718FTT
382719T*T
382720T*T
382721TTT
382722*FF

Independent-effect pairs