Decision #215 — library/core/src/slice/sort/unstable/mod.rs:51
Status: partial
Truth table
| row | c0 br 1737 | c1 br 1738 | outcome |
|---|---|---|---|
| 650 | T | * | T |
| 651 | T | * | T |
| 652 | T | * | T |
| 653 | T | * | T |
| 654 | T | * | T |
| 655 | T | * | T |
| 3690 | T | * | T |
| 3691 | T | * | T |
| 3692 | T | * | T |
| 3693 | T | * | T |
| 3694 | T | * | T |
| 3695 | T | * | T |
| 6635 | T | * | T |
| 6636 | T | * | T |
| 6637 | T | * | T |
| 6638 | T | * | T |
| 6639 | T | * | T |
| 6640 | T | * | T |
| 40721 | T | * | T |
| 40722 | F | * | F |
| 43732 | T | * | T |
| 43733 | F | * | F |
| 47185 | T | * | T |
| 47186 | F | * | F |
| 50261 | T | * | T |
| 50262 | F | * | F |
| 79308 | T | * | T |
| 85845 | T | * | T |
| 85846 | T | * | T |
| 89155 | T | * | T |
| 90910 | F | * | F |
Independent-effect pairs
c0(branch1737): PROVED — pair rows650,40722(masking)scry_analyze_core::recursive_flags_from_sccs· br_if
inlined: lib.rs:3307 ← library/core/src/slice/mod.rs:3137c1(branch1738): DEAD view gap →scry_analyze_core::recursive_flags_from_sccs· br_if
inlined: lib.rs:3307 ← library/core/src/slice/mod.rs:3137