Decision #112 — library/core/src/slice/sort/stable/drift.rs:57
Status: no_witness
Truth table
| row | c0 br 678 | c1 br 679 | outcome |
|---|---|---|---|
| 119 | T | * | T |
| 7079 | T | * | T |
| 13817 | T | * | T |
| 21202 | T | * | T |
| 23945 | T | * | T |
| 26588 | T | * | T |
| 29479 | T | * | T |
| 50334 | T | * | T |
| 71044 | T | * | T |
| 80927 | T | * | T |
| 90746 | T | * | T |
| 98520 | T | * | T |
| 107014 | T | * | T |
| 115090 | T | * | T |
| 122968 | T | * | T |
| 139687 | T | * | T |
| 156348 | T | * | T |
| 166206 | T | * | T |
| 175986 | T | * | T |
| 180758 | T | * | T |
| 184078 | T | * | T |
| 187185 | T | * | T |
| 190548 | T | * | T |
| 194868 | T | * | T |
| 202871 | T | * | T |
| 206206 | T | * | T |
| 214536 | T | * | T |
| 222199 | T | * | T |
| 299576 | T | * | T |
| 376715 | T | * | T |
| 379352 | T | * | T |
| 382236 | T | * | T |
Independent-effect pairs
c0(branch678): GAP view gap →core::ptr::drop_glue::<alloc::vec::Vec<alloc::string::String>>· br_ifc1(branch679): DEAD view gap →core::ptr::drop_glue::<alloc::vec::Vec<alloc::string::String>>· br_if