Decision #125 — library/core/src/cmp.rs:1931
Status: partial
Truth table
| row | c0 br 715 | c1 br 718 | outcome |
|---|---|---|---|
| 85 | T | T | T |
| 86 | T | T | T |
| 87 | T | T | T |
| 88 | T | F | F |
| 3879 | T | T | T |
| 3880 | T | T | T |
| 3881 | T | T | T |
| 3882 | T | F | F |
| 7562 | T | T | T |
| 7563 | T | T | T |
| 7564 | T | T | T |
| 7565 | T | F | F |
| 47154 | T | T | T |
| 47155 | T | F | F |
| 51282 | T | T | T |
| 51283 | T | F | F |
| 55820 | T | T | T |
| 55821 | T | F | F |
| 60078 | T | T | T |
| 60079 | T | F | F |
| 87271 | T | T | T |
| 87272 | T | T | T |
| 87273 | T | T | T |
| 87274 | T | T | T |
| 87275 | T | F | F |
| 91539 | T | T | T |
| 91540 | T | T | T |
| 91541 | T | T | T |
| 91542 | T | T | T |
| 91543 | T | F | F |
| 95742 | T | F | F |
| 104838 | T | T | T |
| 104839 | T | F | F |
| 110792 | T | F | F |
Independent-effect pairs
c0(branch715): GAP view gap →core::slice::sort::shared::smallsort::insertion_sort_shift_left::<u32, <u32 as core::cmp::PartialOrd>::lt>· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:621 ← library/core/src/tuple.rs:195c1(branch718): PROVED — pair rows85,88(unique-cause)core::slice::sort::shared::smallsort::insertion_sort_shift_left::<u32, <u32 as core::cmp::PartialOrd>::lt>· br_if
inlined: library/core/src/tuple.rs:195