Decision #544 — library/core/src/slice/cmp.rs:157

Status: no_witness

Truth table

rowc0 br 3779c1 br 3802outcome
1254FTT
1255FTT
1256FTT
1257FTT
1258FTT
8214FTT
8215FTT
8216FTT
8217FTT
8218FTT
15015FTT
15016FTT
15017FTT
15018FTT
15019FTT
21713FTT
24456FTT
27099FTT
30684FTT
51539FTT
72463FTT
82346FTT
92092FTT
92093FTT
92094FTT
99921FTT
99922FTT
99923FTT
108410FTT
108411FTT
108412FTT
116436FTT
116437FTT
116438FTT
124421FTT
141140FTT
158487FTT
158488FTT
158489FTT
158490FTT
158491FTT
158492FTT
168345FTT
168346FTT
168347FTT
168348FTT
168349FTT
168350FTT
176587FTT
176588FTT
176589FTT
181217FTT
184536FTT
187644FTT
191184FTT
196579FTT
196580FTT
196581FTT
203305FTT
207875FTT
207876FTT
215678FTT
224145FTT
301522FTT
377096FTT
379753FTT
382637FTT

Independent-effect pairs