Decision #234 — lib.rs:2979
Status: partial
Truth table
| row | c0 br 1827 | c1 br 1828 | c2 br 1831 | c3 br 1832 | outcome |
|---|---|---|---|---|---|
| 710 | F | F | * | T | T |
| 711 | * | * | * | T | T |
| 712 | * | * | * | T | T |
| 713 | * | * | * | F | F |
| 3750 | F | F | * | T | T |
| 3751 | * | * | * | T | T |
| 3752 | * | * | * | T | T |
| 3753 | * | * | * | F | F |
| 6695 | F | F | * | T | T |
| 6696 | * | * | * | T | T |
| 6697 | * | * | * | T | T |
| 6698 | * | * | * | F | F |
| 40748 | F | F | * | T | T |
| 40749 | * | * | * | F | F |
| 43759 | F | F | * | T | T |
| 43760 | * | * | * | F | F |
| 47212 | F | F | * | T | T |
| 47213 | * | * | * | F | F |
| 50288 | F | F | * | T | T |
| 50289 | * | * | * | F | F |
| 72989 | F | F | * | T | T |
| 72990 | * | * | * | T | T |
| 72991 | * | * | * | T | T |
| 72992 | * | * | * | T | T |
| 72993 | * | * | * | F | F |
| 76464 | F | F | * | T | T |
| 76465 | * | * | * | T | T |
| 76466 | * | * | * | T | T |
| 76467 | * | * | * | T | T |
| 76468 | * | * | * | F | F |
| 79326 | F | F | * | F | F |
| 85871 | F | F | * | T | T |
| 85872 | * | * | * | F | F |
| 89175 | F | F | * | F | F |
Independent-effect pairs
All 4 conditions live in core::slice::sort::shared::smallsort::insertion_sort_shift_left — 4 br_if
c0(branch1827): GAP view gap →c1(branch1828): GAP view gap →c2(branch1831): DEAD view gap →c3(branch1832): PROVED — pair rows710,713(masking)