Decision #734 — library/core/src/slice/index.rs:278
Status: partial
Truth table
| row | c0 br 5005 | c1 br 5006 | c2 br 5007 | outcome |
|---|---|---|---|---|
| 12270 | T | F | T | T |
| 12271 | T | F | T | T |
| 13644 | T | F | T | T |
| 13645 | T | F | T | T |
| 14971 | T | F | T | T |
| 14972 | T | F | T | T |
| 36571 | T | F | T | T |
| 36572 | T | F | T | T |
| 36573 | T | F | T | T |
| 36574 | T | F | T | T |
| 36575 | T | F | T | T |
| 36576 | T | F | T | T |
| 36577 | T | F | T | T |
| 36578 | T | F | T | T |
| 36579 | T | F | T | T |
| 36580 | T | F | T | T |
| 36581 | T | F | T | T |
| 36582 | T | F | T | T |
| 36583 | T | F | T | T |
| 36584 | T | F | T | T |
| 42784 | T | F | T | T |
| 42785 | T | F | T | T |
| 42786 | T | F | T | T |
| 42787 | T | F | T | T |
| 42788 | T | F | T | T |
| 42789 | T | F | T | T |
| 42790 | T | F | T | T |
| 42791 | T | F | T | T |
| 42792 | T | F | T | T |
| 42793 | T | F | T | T |
| 42794 | T | F | T | T |
| 42795 | T | F | T | T |
| 42796 | T | F | T | T |
| 42797 | T | F | T | T |
| 48685 | T | T | * | T |
| 48686 | T | F | T | T |
| 48687 | T | T | * | T |
| 48688 | T | F | T | T |
| 52886 | T | T | * | T |
| 52887 | T | F | T | T |
| 52888 | T | T | * | T |
| 52889 | T | F | T | T |
| 57416 | T | T | * | T |
| 57417 | T | F | T | T |
| 57418 | T | T | * | T |
| 57419 | T | F | T | T |
| 61609 | T | T | * | T |
| 61610 | T | F | T | T |
| 61611 | T | T | * | T |
| 61612 | T | F | T | T |
| 89362 | T | F | F | F |
| 89363 | T | T | * | T |
| 89364 | T | F | F | F |
| 89365 | T | T | * | T |
| 93630 | T | F | F | F |
| 93631 | T | T | * | T |
| 93632 | T | F | F | F |
| 93633 | T | T | * | T |
| 98322 | T | F | T | T |
| 98323 | T | F | T | T |
| 98324 | T | F | T | T |
| 98325 | T | F | T | T |
| 99837 | T | F | T | T |
| 99838 | T | F | T | T |
| 99839 | T | F | T | T |
| 99840 | T | F | T | T |
| 101255 | T | F | T | T |
| 101256 | T | F | T | T |
| 101257 | T | F | T | T |
| 101258 | T | F | T | T |
| 119816 | T | F | T | T |
| 119817 | T | F | T | T |
| 119818 | T | F | T | T |
| 119819 | T | F | T | T |
| 119820 | T | F | T | T |
| 119821 | T | F | F | F |
| 119822 | T | T | * | T |
| 119823 | T | T | * | T |
| 119824 | T | T | * | T |
| 119825 | T | T | * | T |
| 119826 | T | F | T | T |
| 119827 | T | F | T | T |
| 119828 | T | F | T | T |
| 119829 | T | F | T | T |
| 119830 | T | F | T | T |
| 119831 | T | F | F | F |
| 119832 | T | T | * | T |
| 119833 | T | T | * | T |
| 119834 | T | T | * | T |
| 119835 | T | T | * | T |
| 142752 | T | F | T | T |
| 142753 | T | F | T | T |
| 142754 | T | F | T | T |
| 142755 | T | F | T | T |
| 142756 | T | F | T | T |
| 142757 | T | F | F | F |
| 142758 | T | T | * | T |
| 142759 | T | T | * | T |
| 142760 | T | T | * | T |
| 142761 | T | T | * | T |
| 142762 | T | F | T | T |
| 142763 | T | F | T | T |
| 142764 | T | F | T | T |
| 142765 | T | F | T | T |
| 142766 | T | F | T | T |
| 142767 | T | F | F | F |
| 142768 | T | T | * | T |
| 142769 | T | T | * | T |
| 142770 | T | T | * | T |
| 142771 | T | T | * | T |
| 163522 | T | T | * | T |
| 163523 | T | T | * | T |
| 165103 | T | T | * | T |
| 165104 | T | T | * | T |
| 166823 | T | T | * | T |
| 166824 | T | T | * | T |
Independent-effect pairs
All 3 conditions live in scry_interval::i32_add — 3 br_if
c0(branch5005): GAP view gap →c1(branch5006): PROVED — pair rows48685,89362(masking)c2(branch5007): PROVED — pair rows12270,89362(unique-cause)