Decision #254 — library/core/src/slice/cmp.rs:132

Status: no_witness

Truth table

rowc0 br 1866c1 br 1872c2 br 1877c3 br 1878outcome
13599**T*T
13600**FFT
13601**T*T
13602**FFT
21317**T*T
21318**FFT
21319**T*T
21320**FFT
29268**FFT
29269**FFT
35206**FFT
35207**FFT
53574**T*T
53575**T*T
53576**FFT
53577**T*T
53578**T*T
53579**FFT
63346**T*T
63347**T*T
63348**FFT
63349**T*T
63350**T*T
63351**FFT
93452**T*T
93453**FFT
93454**T*T
93455**FFT
112315**T*T
112316**FFT
112317**T*T
112318**FFT

Independent-effect pairs