Decision #114 — library/core/src/slice/sort/stable/drift.rs:104
Status: no_witness
Truth table
| row | c0 br 690 | c1 br 691 | outcome |
|---|---|---|---|
| 133 | T | * | T |
| 134 | F | T | T |
| 135 | * | F | T |
| 7093 | T | * | T |
| 7094 | F | T | T |
| 7095 | * | F | T |
| 13831 | T | * | T |
| 13832 | F | T | T |
| 13833 | * | F | T |
| 21209 | T | * | T |
| 21210 | F | F | T |
| 23952 | T | * | T |
| 23953 | F | F | T |
| 26595 | T | * | T |
| 26596 | F | F | T |
| 29496 | T | * | T |
| 29497 | F | F | T |
| 50351 | T | * | T |
| 50352 | F | F | T |
| 71060 | T | * | T |
| 71061 | F | F | T |
| 80943 | T | * | T |
| 80944 | F | F | T |
| 90761 | F | T | T |
| 90762 | * | T | T |
| 90763 | F | F | T |
| 90764 | * | T | T |
| 90765 | * | F | T |
| 98535 | F | T | T |
| 98536 | * | T | T |
| 98537 | F | F | T |
| 98538 | * | T | T |
| 98539 | * | F | T |
| 107029 | F | T | T |
| 107030 | * | T | T |
| 107031 | F | F | T |
| 107032 | * | T | T |
| 107033 | * | F | T |
| 115105 | F | T | T |
| 115106 | * | T | T |
| 115107 | F | F | T |
| 115108 | * | T | T |
| 115109 | * | F | T |
| 122985 | T | * | T |
| 122986 | F | F | T |
| 139704 | T | * | T |
| 139705 | F | F | T |
| 156373 | T | * | T |
| 156374 | F | T | T |
| 156375 | * | T | T |
| 156376 | * | T | T |
| 156377 | * | T | T |
| 156378 | * | T | T |
| 156379 | * | F | T |
| 166231 | T | * | T |
| 166232 | F | T | T |
| 166233 | * | T | T |
| 166234 | * | T | T |
| 166235 | * | T | T |
| 166236 | * | T | T |
| 166237 | * | F | T |
| 175993 | F | T | T |
| 175994 | * | T | T |
| 175995 | F | F | T |
| 175996 | * | F | T |
| 180764 | T | * | T |
| 180765 | F | F | T |
| 184084 | T | * | T |
| 184085 | F | F | T |
| 187191 | T | * | T |
| 187192 | F | F | T |
| 190563 | F | F | T |
| 190564 | F | F | T |
| 194903 | F | T | T |
| 194904 | * | T | T |
| 194905 | F | F | T |
| 194906 | * | F | T |
| 202882 | F | F | T |
| 202883 | F | F | T |
| 206249 | F | T | T |
| 206250 | F | F | T |
| 206251 | * | F | T |
| 214561 | F | F | T |
| 214562 | F | F | T |
| 222217 | T | * | T |
| 222218 | F | F | T |
| 299594 | T | * | T |
| 299595 | F | F | T |
| 376720 | T | * | T |
| 376721 | F | F | T |
| 379357 | T | * | T |
| 379358 | F | F | T |
| 382241 | T | * | T |
| 382242 | F | F | T |
Independent-effect pairs
c0(branch690): GAP view gap →core::ptr::drop_glue::<alloc::vec::Vec<(u32, alloc::string::String)>>· br_ifc1(branch691): GAP view gap →core::ptr::drop_glue::<alloc::vec::Vec<(u32, alloc::string::String)>>· br_if