Decision #126 — library/core/src/ptr/mod.rs:551
Status: no_witness
Truth table
| row | c0 br 713 | c1 br 714 | outcome |
|---|---|---|---|
| 89 | F | F | F |
| 3883 | F | F | F |
| 7566 | F | F | F |
| 47156 | F | F | F |
| 51284 | F | F | F |
| 55822 | F | F | F |
| 60080 | F | F | F |
| 87276 | F | F | F |
| 91544 | F | F | F |
| 95743 | F | F | F |
| 104840 | F | F | F |
| 110793 | F | F | F |
Independent-effect pairs
c0(branch713): 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:254 ← library/core/src/slice/sort/shared/smallsort.rs:650c1(branch714): 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:254 ← library/core/src/slice/sort/shared/smallsort.rs:650