Decision #398 — library/core/src/slice/index.rs:278
Status: partial
Truth table
| row | c0 br 2733 | c1 br 2734 | c2 br 2736 | outcome |
|---|---|---|---|---|
| 9771 | F | T | F | F |
| 9772 | F | T | F | F |
| 10919 | F | T | F | F |
| 10920 | F | T | F | F |
| 12010 | F | T | F | F |
| 12011 | F | T | F | F |
| 41059 | F | T | T | T |
| 41060 | F | T | T | T |
| 44072 | F | T | T | T |
| 44073 | F | T | T | T |
| 47524 | F | T | T | T |
| 47525 | F | T | T | T |
| 50599 | F | T | T | T |
| 50600 | F | T | T | T |
| 73451 | F | T | F | F |
| 73452 | F | T | F | F |
| 73453 | F | T | F | F |
| 73454 | F | T | F | F |
| 76926 | F | T | F | F |
| 76927 | F | T | F | F |
| 76928 | F | T | F | F |
| 76929 | F | T | F | F |
Independent-effect pairs
All 3 conditions live in scry_interval::i32_mul — 3 br_if
c0(branch2733): GAP view gap →c1(branch2734): GAP view gap →c2(branch2736): PROVED — pair rows9771,41059(unique-cause)