Decision #53 — library/core/src/slice/sort/stable/drift.rs:104
Status: no_witness
Truth table
| row | c0 br 366 | c1 br 367 | outcome |
|---|---|---|---|
| 58 | F | F | T |
| 59 | * | F | T |
| 60 | * | F | T |
| 61 | * | F | T |
| 62 | * | F | T |
| 3852 | F | F | T |
| 3853 | * | F | T |
| 3854 | * | F | T |
| 3855 | * | F | T |
| 3856 | * | F | T |
| 7535 | F | F | T |
| 7536 | * | F | T |
| 7537 | * | F | T |
| 7538 | * | F | T |
| 7539 | * | F | T |
| 11676 | F | F | T |
| 13052 | F | F | T |
| 14377 | F | F | T |
| 15843 | F | F | T |
| 25323 | F | F | T |
| 34787 | F | F | T |
| 41000 | F | F | T |
| 47129 | F | F | T |
| 47130 | * | F | T |
| 47131 | * | F | T |
| 51257 | F | F | T |
| 51258 | * | F | T |
| 51259 | * | F | T |
| 55795 | F | F | T |
| 55796 | * | F | T |
| 55797 | * | F | T |
| 60053 | F | F | T |
| 60054 | * | F | T |
| 60055 | * | F | T |
| 64258 | F | F | T |
| 75771 | F | F | T |
| 87229 | F | F | T |
| 87230 | * | F | T |
| 87231 | * | F | T |
| 87232 | * | F | T |
| 87233 | * | F | T |
| 87234 | * | F | T |
| 91497 | F | F | T |
| 91498 | * | F | T |
| 91499 | * | F | T |
| 91500 | * | F | T |
| 91501 | * | F | T |
| 91502 | * | F | T |
| 95725 | F | F | T |
| 95726 | * | F | T |
| 95727 | * | F | T |
| 97763 | F | F | T |
| 99281 | F | F | T |
| 100696 | F | F | T |
| 102241 | F | F | T |
| 104799 | F | F | T |
| 104800 | * | F | T |
| 104801 | * | F | T |
| 108714 | F | F | T |
| 110750 | F | F | T |
| 110751 | * | F | T |
| 114025 | F | F | T |
| 117352 | F | F | T |
| 140288 | F | F | T |
| 163002 | F | F | T |
| 164557 | F | F | T |
| 166279 | F | F | T |
Independent-effect pairs
c0(branch366): GAP view gap →core::ptr::drop_glue::<alloc::vec::Vec<core::option::Option<scry_analyze_core::SummaryEntry>>>· br_ifc1(branch367): GAP view gap →core::ptr::drop_glue::<alloc::vec::Vec<core::option::Option<scry_analyze_core::SummaryEntry>>>· br_if