Decision #182 — lib.rs:3247
Status: no_witness
Truth table
| row | c0 br 1011 | c1 br 1012 | outcome |
|---|---|---|---|
| 140 | F | T | T |
| 141 | * | T | T |
| 142 | * | T | T |
| 143 | * | T | T |
| 7100 | F | T | T |
| 7101 | * | T | T |
| 7102 | * | T | T |
| 7103 | * | T | T |
| 13838 | F | T | T |
| 13839 | * | T | T |
| 13840 | * | T | T |
| 13841 | * | T | T |
| 90768 | F | T | T |
| 90769 | * | T | T |
| 98542 | F | T | T |
| 98543 | * | T | T |
| 107036 | F | T | T |
| 107037 | * | T | T |
| 115112 | F | T | T |
| 115113 | * | T | T |
| 156385 | F | T | T |
| 156386 | * | T | T |
| 156387 | * | T | T |
| 156388 | * | T | T |
| 156389 | * | T | T |
| 166243 | F | T | T |
| 166244 | * | T | T |
| 166245 | * | T | T |
| 166246 | * | T | T |
| 166247 | * | T | T |
| 176003 | F | T | T |
| 194909 | F | T | T |
| 194910 | * | T | T |
| 206257 | F | T | T |
Independent-effect pairs
c0(branch1011): 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:636 ← library/alloc/src/slice.rs:252c1(branch1012): GAP view gap →core::slice::sort::shared::smallsort::insertion_sort_shift_left::<u32, <u32 as core::cmp::PartialOrd>::lt>· br_if
inlined: library/alloc/src/slice.rs:252