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

Status: no_witness

Truth table

rowc0 br 4187c1 br 4188c2 br 4189c3 br 4190c4 br 4191c5 br 4192c6 br 4193c7 br 4194outcome
1463**FFTF*FT
1464**T*****T
1465**FFTF*FT
1466**T*****T
8423**FFTF*FT
8424**T*****T
8425**FFTF*FT
8426**T*****T
15224**FFTF*FT
15225**T*****T
15226**FFTF*FT
15227**T*****T

Independent-effect pairs