Decision #751 — library/core/src/slice/index.rs:272
Status: no_witness
Truth table
| row | c0 br 5065 | c1 br 5068 | outcome |
|---|---|---|---|
| 17289 | F | F | F |
| 17290 | * | F | F |
| 17291 | F | F | F |
| 17292 | * | F | F |
| 17293 | * | F | F |
| 17294 | * | F | F |
| 26767 | F | F | F |
| 26768 | * | F | F |
| 26769 | F | F | F |
| 26770 | * | F | F |
| 26771 | * | F | F |
| 26772 | * | F | F |
| 66057 | F | F | F |
| 66058 | * | F | F |
| 66059 | F | F | F |
| 66060 | * | F | F |
| 66061 | * | F | F |
| 66062 | F | F | F |
| 66063 | * | F | F |
| 66064 | * | F | F |
| 66065 | F | F | F |
| 66066 | * | F | F |
| 66067 | * | F | F |
| 66068 | F | F | F |
| 66069 | * | F | F |
| 66070 | * | F | F |
| 66071 | F | F | F |
| 66072 | * | F | F |
| 66073 | * | F | F |
| 66074 | F | F | F |
| 66075 | * | F | F |
| 66076 | * | F | F |
| 66077 | F | F | F |
| 66078 | * | F | F |
| 66079 | * | F | F |
| 66080 | * | F | F |
| 77570 | F | F | F |
| 77571 | * | F | F |
| 77572 | F | F | F |
| 77573 | * | F | F |
| 77574 | * | F | F |
| 77575 | F | F | F |
| 77576 | * | F | F |
| 77577 | * | F | F |
| 77578 | F | F | F |
| 77579 | * | F | F |
| 77580 | * | F | F |
| 77581 | F | F | F |
| 77582 | * | F | F |
| 77583 | * | F | F |
| 77584 | F | F | F |
| 77585 | * | F | F |
| 77586 | * | F | F |
| 77587 | F | F | F |
| 77588 | * | F | F |
| 77589 | * | F | F |
| 77590 | F | F | F |
| 77591 | * | F | F |
| 77592 | * | F | F |
| 77593 | * | F | F |
| 119877 | F | F | F |
| 119878 | * | F | F |
| 119879 | F | F | F |
| 119880 | * | F | F |
| 119881 | * | F | F |
| 119882 | * | F | F |
| 142813 | F | F | F |
| 142814 | * | F | F |
| 142815 | F | F | F |
| 142816 | * | F | F |
| 142817 | * | F | F |
| 142818 | * | F | F |
Independent-effect pairs
c0(branch5065): GAP view gap →scry_octagon::forget· br_ifc1(branch5068): GAP view gap →scry_octagon::forget· br_if