Decision #116 — library/core/src/slice/sort/stable/drift.rs:204
Status: no_witness
Truth table
| row | c0 br 701 | c1 br 702 | outcome |
|---|---|---|---|
| 136 | F | * | T |
| 137 | F | * | T |
| 138 | F | * | T |
| 139 | F | * | T |
| 7096 | F | * | T |
| 7097 | F | * | T |
| 7098 | F | * | T |
| 7099 | F | * | T |
| 13834 | F | * | T |
| 13835 | F | * | T |
| 13836 | F | * | T |
| 13837 | F | * | T |
| 90766 | F | * | T |
| 90767 | F | * | T |
| 98540 | F | * | T |
| 98541 | F | * | T |
| 107034 | F | * | T |
| 107035 | F | * | T |
| 115110 | F | * | T |
| 115111 | F | * | T |
| 156380 | F | * | T |
| 156381 | F | * | T |
| 156382 | F | * | T |
| 156383 | F | * | T |
| 156384 | F | * | T |
| 166238 | F | * | T |
| 166239 | F | * | T |
| 166240 | F | * | T |
| 166241 | F | * | T |
| 166242 | F | * | T |
| 175997 | F | * | T |
| 175998 | F | * | T |
| 194907 | F | * | T |
| 194908 | F | * | T |
| 206252 | F | * | T |
Independent-effect pairs
c0(branch701): GAP view gap →<alloc::vec::Vec<alloc::collections::btree::set::BTreeSet<usize>>>::extend_with· br_ifc1(branch702): DEAD view gap →<alloc::vec::Vec<alloc::collections::btree::set::BTreeSet<usize>>>::extend_with· br_if