Decision #55 — library/core/src/slice/sort/stable/drift.rs:62
Status: no_witness
Truth table
| row | c0 br 379 | c1 br 380 | outcome |
|---|---|---|---|
| 75 | T | * | T |
| 76 | T | * | T |
| 77 | T | * | T |
| 78 | T | * | T |
| 79 | T | * | T |
| 80 | T | * | T |
| 81 | T | * | T |
| 82 | T | * | T |
| 83 | T | * | T |
| 84 | T | * | T |
| 3869 | T | * | T |
| 3870 | T | * | T |
| 3871 | T | * | T |
| 3872 | T | * | T |
| 3873 | T | * | T |
| 3874 | T | * | T |
| 3875 | T | * | T |
| 3876 | T | * | T |
| 3877 | T | * | T |
| 3878 | T | * | T |
| 7552 | T | * | T |
| 7553 | T | * | T |
| 7554 | T | * | T |
| 7555 | T | * | T |
| 7556 | T | * | T |
| 7557 | T | * | T |
| 7558 | T | * | T |
| 7559 | T | * | T |
| 7560 | T | * | T |
| 7561 | T | * | T |
| 11683 | T | * | T |
| 11684 | T | * | T |
| 13059 | T | * | T |
| 13060 | T | * | T |
| 14384 | T | * | T |
| 14385 | T | * | T |
| 15860 | T | * | T |
| 15861 | T | * | T |
| 25340 | T | * | T |
| 25341 | T | * | T |
| 34803 | T | * | T |
| 34804 | T | * | T |
| 41016 | T | * | T |
| 41017 | T | * | T |
| 47146 | T | * | T |
| 47147 | T | * | T |
| 47148 | T | * | T |
| 47149 | T | * | T |
| 47150 | T | * | T |
| 47151 | T | * | T |
| 47152 | T | * | T |
| 47153 | T | * | T |
| 51274 | T | * | T |
| 51275 | T | * | T |
| 51276 | T | * | T |
| 51277 | T | * | T |
| 51278 | T | * | T |
| 51279 | T | * | T |
| 51280 | T | * | T |
| 51281 | T | * | T |
| 55812 | T | * | T |
| 55813 | T | * | T |
| 55814 | T | * | T |
| 55815 | T | * | T |
| 55816 | T | * | T |
| 55817 | T | * | T |
| 55818 | T | * | T |
| 55819 | T | * | T |
| 60070 | T | * | T |
| 60071 | T | * | T |
| 60072 | T | * | T |
| 60073 | T | * | T |
| 60074 | T | * | T |
| 60075 | T | * | T |
| 60076 | T | * | T |
| 60077 | T | * | T |
| 64275 | T | * | T |
| 64276 | T | * | T |
| 75788 | T | * | T |
| 75789 | T | * | T |
| 87259 | T | * | T |
| 87260 | T | * | T |
| 87261 | T | * | T |
| 87262 | T | * | T |
| 87263 | T | * | T |
| 87264 | T | * | T |
| 87265 | T | * | T |
| 87266 | T | * | T |
| 87267 | T | * | T |
| 87268 | T | * | T |
| 87269 | T | * | T |
| 87270 | T | * | T |
| 91527 | T | * | T |
| 91528 | T | * | T |
| 91529 | T | * | T |
| 91530 | T | * | T |
| 91531 | T | * | T |
| 91532 | T | * | T |
| 91533 | T | * | T |
| 91534 | T | * | T |
| 91535 | T | * | T |
| 91536 | T | * | T |
| 91537 | T | * | T |
| 91538 | T | * | T |
| 95734 | T | * | T |
| 95735 | T | * | T |
| 95736 | T | * | T |
| 95737 | T | * | T |
| 95738 | T | * | T |
| 95739 | T | * | T |
| 97769 | T | * | T |
| 97770 | T | * | T |
| 99287 | T | * | T |
| 99288 | T | * | T |
| 100702 | T | * | T |
| 100703 | T | * | T |
| 102252 | T | * | T |
| 102253 | T | * | T |
| 104832 | T | * | T |
| 104833 | T | * | T |
| 104834 | T | * | T |
| 104835 | T | * | T |
| 104836 | T | * | T |
| 104837 | T | * | T |
| 108721 | T | * | T |
| 108722 | T | * | T |
| 110786 | T | * | T |
| 110787 | T | * | T |
| 110788 | T | * | T |
| 110789 | T | * | T |
| 114046 | T | * | T |
| 114047 | T | * | T |
| 117370 | T | * | T |
| 117371 | T | * | T |
| 140306 | T | * | T |
| 140307 | T | * | T |
| 163007 | T | * | T |
| 163008 | T | * | T |
| 164562 | T | * | T |
| 164563 | T | * | T |
| 166284 | T | * | T |
| 166285 | T | * | T |
Independent-effect pairs
c0(branch379): GAP view gap →core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::Label>>· br_ifc1(branch380): DEAD view gap →core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::Label>>· br_if