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

Status: no_witness

Truth table

rowc0 br 3101c1 br 3102outcome
176424FFF
176425FFF
176426FFF
176427FFF
207719FFF
207720FFF
207721FFF
207722FFF
215595FFF
215596FFF

Independent-effect pairs