Decision #958 — library/core/src/ptr/mod.rs:1921
Status: partial
Truth table
| row | c0 br 766 | c1 br 767 | c2 br 768 | c3 br 769 | c4 br 770 | c5 br 771 | c6 br 772 | c7 br 773 | c8 br 774 | c9 br 775 | c10 br 776 | c11 br 777 | c12 br 778 | c13 br 779 | c14 br 780 | c15 br 781 | c16 br 782 | c17 br 783 | c18 br 784 | c19 br 785 | c20 br 786 | c21 br 787 | c22 br 788 | c23 br 789 | c24 br 790 | c25 br 791 | c26 br 792 | c27 br 793 | c28 br 794 | c29 br 795 | c30 br 796 | c31 br 797 | c32 br 798 | c33 br 799 | c34 br 800 | c35 br 801 | c36 br 802 | c37 br 803 | c38 br 804 | c39 br 805 | c40 br 806 | c41 br 807 | c42 br 808 | c43 br 809 | c44 br 810 | c45 br 811 | c46 br 812 | c47 br 813 | c48 br 814 | c49 br 815 | c50 br 816 | c51 br 817 | c52 br 818 | c53 br 819 | c54 br 820 | c55 br 821 | c56 br 822 | c57 br 823 | c58 br 824 | c59 br 825 | c60 br 826 | c61 br 827 | c62 br 828 | c63 br 829 | c64 br 830 | c65 br 831 | c66 br 832 | c67 br 833 | c68 br 834 | c69 br 835 | c70 br 836 | c71 br 837 | c72 br 838 | c73 br 839 | c74 br 840 | c75 br 841 | c76 br 842 | c77 br 843 | c78 br 844 | c79 br 845 | c80 br 846 | c81 br 847 | c82 br 848 | c83 br 849 | outcome |
|---|
Independent-effect pairs
All 84 conditions live in scry_analyze_core::Interp::seq — 1 br_table_default + 83 br_table_target
c0(branch766): PROVEDc1(branch767): DEAD view gap →c2(branch768): DEAD view gap →c3(branch769): DEAD view gap →c4(branch770): DEAD view gap →c5(branch771): PROVEDc6(branch772): PROVEDc7(branch773): DEAD view gap →c8(branch774): DEAD view gap →c9(branch775): PROVEDc10(branch776): PROVEDc11(branch777): DEAD view gap →c12(branch778): PROVEDc13(branch779): DEAD view gap →c14(branch780): PROVEDc15(branch781): DEAD view gap →c16(branch782): DEAD view gap →c17(branch783): DEAD view gap →c18(branch784): DEAD view gap →c19(branch785): DEAD view gap →c20(branch786): DEAD view gap →c21(branch787): DEAD view gap →c22(branch788): DEAD view gap →c23(branch789): DEAD view gap →c24(branch790): DEAD view gap →c25(branch791): DEAD view gap →c26(branch792): DEAD view gap →c27(branch793): DEAD view gap →c28(branch794): DEAD view gap →c29(branch795): DEAD view gap →c30(branch796): DEAD view gap →c31(branch797): DEAD view gap →c32(branch798): DEAD view gap →c33(branch799): DEAD view gap →c34(branch800): DEAD view gap →c35(branch801): DEAD view gap →c36(branch802): DEAD view gap →c37(branch803): DEAD view gap →c38(branch804): DEAD view gap →c39(branch805): PROVEDc40(branch806): DEAD view gap →c41(branch807): DEAD view gap →c42(branch808): DEAD view gap →c43(branch809): DEAD view gap →c44(branch810): DEAD view gap →c45(branch811): DEAD view gap →c46(branch812): DEAD view gap →c47(branch813): DEAD view gap →c48(branch814): DEAD view gap →c49(branch815): DEAD view gap →c50(branch816): DEAD view gap →c51(branch817): DEAD view gap →c52(branch818): DEAD view gap →c53(branch819): DEAD view gap →c54(branch820): DEAD view gap →c55(branch821): DEAD view gap →c56(branch822): DEAD view gap →c57(branch823): DEAD view gap →c58(branch824): DEAD view gap →c59(branch825): DEAD view gap →c60(branch826): DEAD view gap →c61(branch827): DEAD view gap →c62(branch828): DEAD view gap →c63(branch829): DEAD view gap →c64(branch830): DEAD view gap →c65(branch831): DEAD view gap →c66(branch832): DEAD view gap →c67(branch833): DEAD view gap →c68(branch834): DEAD view gap →c69(branch835): DEAD view gap →c70(branch836): DEAD view gap →c71(branch837): DEAD view gap →c72(branch838): DEAD view gap →c73(branch839): DEAD view gap →c74(branch840): DEAD view gap →c75(branch841): DEAD view gap →c76(branch842): DEAD view gap →c77(branch843): DEAD view gap →c78(branch844): DEAD view gap →c79(branch845): DEAD view gap →c80(branch846): PROVEDc81(branch847): PROVEDc82(branch848): PROVEDc83(branch849): PROVED