Decision #216 — library/core/src/slice/sort/shared/mod.rs:36
Status: no_witness
Truth table
| row | c0 br 1758 | c1 br 1759 | c2 br 1760 | c3 br 1761 | outcome |
|---|---|---|---|---|---|
| 84268 | F | T | * | F | F |
| 84269 | * | T | * | F | F |
| 85847 | F | T | * | F | F |
| 85848 | * | T | * | F | F |
| 87633 | F | T | * | F | F |
| 87634 | * | T | * | F | F |
| 89156 | F | T | * | F | F |
| 89157 | F | T | * | F | F |
| 89158 | * | T | * | F | F |
| 89159 | * | T | * | F | F |
| 90911 | F | T | * | F | F |
| 90912 | * | T | * | F | F |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::const_expr_ref_func_targets — 4 br_if
c0(branch1758): GAP view gap →c1(branch1759): GAP view gap →c2(branch1760): DEAD view gap →c3(branch1761): GAP view gap →