Decision #52 — library/core/src/slice/sort/stable/drift.rs:57
Status: no_witness
Truth table
| row | c0 br 357 | c1 br 358 | outcome |
|---|---|---|---|
| 54 | T | * | T |
| 55 | T | * | T |
| 56 | T | * | T |
| 57 | F | F | T |
| 3848 | T | * | T |
| 3849 | T | * | T |
| 3850 | T | * | T |
| 3851 | F | F | T |
| 7531 | T | * | T |
| 7532 | T | * | T |
| 7533 | T | * | T |
| 7534 | F | F | T |
| 11675 | * | F | T |
| 13051 | * | F | T |
| 14376 | * | F | T |
| 15842 | * | F | T |
| 25322 | * | F | T |
| 34786 | * | F | T |
| 40999 | * | F | T |
| 47127 | T | * | T |
| 47128 | F | F | T |
| 51255 | T | * | T |
| 51256 | F | F | T |
| 55793 | T | * | T |
| 55794 | F | F | T |
| 60051 | T | * | T |
| 60052 | F | F | T |
| 64257 | * | F | T |
| 75770 | * | F | T |
| 87224 | T | * | T |
| 87225 | T | * | T |
| 87226 | T | * | T |
| 87227 | T | * | T |
| 87228 | F | F | T |
| 91492 | T | * | T |
| 91493 | T | * | T |
| 91494 | T | * | T |
| 91495 | T | * | T |
| 91496 | F | F | T |
| 95723 | T | * | T |
| 95724 | F | F | T |
| 97762 | * | F | T |
| 99280 | * | F | T |
| 100695 | * | F | T |
| 102240 | * | F | T |
| 104797 | T | * | T |
| 104798 | F | F | T |
| 108713 | * | F | T |
| 110749 | F | F | T |
| 114024 | * | F | T |
| 117351 | * | F | T |
| 140287 | * | F | T |
| 163001 | * | F | T |
| 164556 | * | F | T |
| 166278 | * | F | T |
Independent-effect pairs
c0(branch357): GAP view gap →<alloc::vec::Vec<alloc::collections::btree::set::BTreeSet<usize>>>::extend_with· br_ifc1(branch358): GAP view gap →<alloc::vec::Vec<alloc::collections::btree::set::BTreeSet<usize>>>::extend_with· br_if