Decision #1026 — library/core/src/slice/index.rs:413
Status: no_witness
Truth table
| row | c0 br 6503 | c1 br 6504 | outcome |
|---|---|---|---|
| 38621 | F | F | F |
| 38622 | F | F | F |
| 38623 | F | F | F |
| 38624 | F | F | F |
| 38625 | F | F | F |
| 38626 | F | F | F |
| 38627 | F | F | F |
| 38628 | F | F | F |
| 38629 | F | F | F |
| 38630 | F | F | F |
| 38631 | F | F | F |
| 38632 | F | F | F |
| 38633 | F | F | F |
| 38634 | F | F | F |
| 38635 | F | F | F |
| 38636 | F | F | F |
| 59475 | F | F | F |
| 59476 | F | F | F |
| 59477 | F | F | F |
| 59478 | F | F | F |
| 59479 | F | F | F |
| 59480 | F | F | F |
| 59481 | F | F | F |
| 59482 | F | F | F |
| 59483 | F | F | F |
| 59484 | F | F | F |
| 59485 | F | F | F |
| 59486 | F | F | F |
| 59487 | F | F | F |
| 59488 | F | F | F |
| 59489 | F | F | F |
| 59490 | F | F | F |
| 75159 | F | F | F |
| 85042 | F | F | F |
| 131980 | F | F | F |
| 131981 | F | F | F |
| 131982 | F | F | F |
| 131983 | F | F | F |
| 131984 | F | F | F |
| 131985 | F | F | F |
| 131986 | F | F | F |
| 131987 | F | F | F |
| 131988 | F | F | F |
| 131989 | F | F | F |
| 131990 | F | F | F |
| 131991 | F | F | F |
| 131992 | F | F | F |
| 131993 | F | F | F |
| 131994 | F | F | F |
| 131995 | F | F | F |
| 131996 | F | F | F |
| 131997 | F | F | F |
| 148699 | F | F | F |
| 148700 | F | F | F |
| 148701 | F | F | F |
| 148702 | F | F | F |
| 148703 | F | F | F |
| 148704 | F | F | F |
| 148705 | F | F | F |
| 148706 | F | F | F |
| 148707 | F | F | F |
| 148708 | F | F | F |
| 148709 | F | F | F |
| 148710 | F | F | F |
| 148711 | F | F | F |
| 148712 | F | F | F |
| 148713 | F | F | F |
| 148714 | F | F | F |
| 148715 | F | F | F |
| 148716 | F | F | F |
| 252411 | F | F | F |
| 252412 | F | F | F |
| 252413 | F | F | F |
| 252414 | F | F | F |
| 252415 | F | F | F |
| 252416 | F | F | F |
| 252417 | F | F | F |
| 252418 | F | F | F |
| 252419 | F | F | F |
| 252420 | F | F | F |
| 252421 | F | F | F |
| 252422 | F | F | F |
| 252423 | F | F | F |
| 252424 | F | F | F |
| 252425 | F | F | F |
| 252426 | F | F | F |
| 329788 | F | F | F |
| 329789 | F | F | F |
| 329790 | F | F | F |
| 329791 | F | F | F |
| 329792 | F | F | F |
| 329793 | F | F | F |
| 329794 | F | F | F |
| 329795 | F | F | F |
| 329796 | F | F | F |
| 329797 | F | F | F |
| 329798 | F | F | F |
| 329799 | F | F | F |
| 329800 | F | F | F |
| 329801 | F | F | F |
| 329802 | F | F | F |
| 329803 | F | F | F |
Independent-effect pairs
c0(branch6503): GAP view gap →scry_octagon::bound_of· br_ifc1(branch6504): GAP view gap →scry_octagon::bound_of· br_if