Decision #463 — library/core/src/slice/cmp.rs:426
Status: no_witness
Truth table
| row | c0 br 3188 | c1 br 3189 | c2 br 3190 | c3 br 3191 | outcome |
|---|---|---|---|---|---|
| 610 | * | * | * | F | T |
| 611 | T | F | F | F | T |
| 612 | T | F | F | F | T |
| 613 | * | * | * | F | T |
| 4404 | * | * | * | F | T |
| 4405 | T | F | F | F | T |
| 4406 | T | F | F | F | T |
| 4407 | * | * | * | F | T |
| 8134 | * | * | * | F | T |
| 8135 | T | F | F | F | T |
| 8136 | T | F | F | F | T |
| 8137 | * | * | * | F | T |
| 47804 | * | * | * | F | T |
| 47805 | * | * | * | F | T |
| 51973 | * | * | * | F | T |
| 51974 | * | * | * | F | T |
| 56511 | * | * | * | F | T |
| 56512 | * | * | * | F | T |
| 60728 | * | * | * | F | T |
| 60729 | * | * | * | F | T |
| 96013 | * | * | * | F | T |
| 105648 | * | * | * | F | T |
| 105649 | * | * | * | F | T |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::resolved_stack_callees — 4 br_if
c0(branch3188): GAP view gap →c1(branch3189): GAP view gap →c2(branch3190): GAP view gap →c3(branch3191): GAP view gap →