Decision #111 — library/core/src/slice/sort/stable/drift.rs:87
Status: no_witness
Truth table
| row | c0 br 659 | c1 br 660 | c2 br 661 | outcome |
|---|---|---|---|---|
| 114 | F | F | T | T |
| 115 | * | F | T | T |
| 116 | * | F | T | T |
| 117 | * | F | T | T |
| 118 | * | F | F | T |
| 7074 | F | F | T | T |
| 7075 | * | F | T | T |
| 7076 | * | F | T | T |
| 7077 | * | F | T | T |
| 7078 | * | F | F | T |
| 13812 | F | F | T | T |
| 13813 | * | F | T | T |
| 13814 | * | F | T | T |
| 13815 | * | F | T | T |
| 13816 | * | F | F | T |
| 21201 | F | F | F | T |
| 23944 | F | F | F | T |
| 26587 | F | F | F | T |
| 29478 | F | F | F | T |
| 50333 | F | F | F | T |
| 71043 | F | F | F | T |
| 80926 | F | F | F | T |
| 90743 | F | F | T | T |
| 90744 | * | F | T | T |
| 90745 | * | F | F | T |
| 98517 | F | F | T | T |
| 98518 | * | F | T | T |
| 98519 | * | F | F | T |
| 107011 | F | F | T | T |
| 107012 | * | F | T | T |
| 107013 | * | F | F | T |
| 115087 | F | F | T | T |
| 115088 | * | F | T | T |
| 115089 | * | F | F | T |
| 122967 | F | F | F | T |
| 139686 | F | F | F | T |
| 156342 | F | F | T | T |
| 156343 | * | F | T | T |
| 156344 | * | F | T | T |
| 156345 | * | F | T | T |
| 156346 | * | F | T | T |
| 156347 | * | F | F | T |
| 166200 | F | F | T | T |
| 166201 | * | F | T | T |
| 166202 | * | F | T | T |
| 166203 | * | F | T | T |
| 166204 | * | F | T | T |
| 166205 | * | F | F | T |
| 175983 | F | F | T | T |
| 175984 | * | F | T | T |
| 175985 | * | F | F | T |
| 180757 | F | F | F | T |
| 184077 | F | F | F | T |
| 187184 | F | F | F | T |
| 190547 | F | F | F | T |
| 194865 | F | F | T | T |
| 194866 | * | F | T | T |
| 194867 | * | F | F | T |
| 202870 | F | F | F | T |
| 206204 | F | F | T | T |
| 206205 | * | F | F | T |
| 214535 | F | F | F | T |
| 222198 | F | F | F | T |
| 299575 | F | F | F | T |
| 376714 | F | F | F | T |
| 379351 | F | F | F | T |
| 382235 | F | F | F | T |
Independent-effect pairs
All 3 conditions live in core::ptr::drop_glue::<alloc::vec::Vec<core::option::Option<scry_analyze_core::SummaryEntry>>> — 3 br_if
c0(branch659): GAP view gap →c1(branch660): GAP view gap →c2(branch661): GAP view gap →