Decision #565 — library/core/src/ptr/mod.rs:825
Status: partial
Truth table
| row | c0 br 3773 | c1 br 3785 | outcome |
|---|---|---|---|
| 970 | T | F | F |
| 971 | * | F | F |
| 972 | T | T | T |
| 973 | * | F | F |
| 974 | * | F | F |
| 975 | T | T | T |
| 976 | * | F | F |
| 977 | * | F | F |
| 978 | T | T | T |
| 979 | * | F | F |
| 980 | * | F | F |
| 981 | * | F | F |
| 982 | T | T | T |
| 983 | * | F | F |
| 984 | * | F | F |
| 985 | * | F | F |
| 986 | * | T | T |
| 4763 | T | F | F |
| 4764 | * | F | F |
| 4765 | T | T | T |
| 4766 | * | F | F |
| 4767 | * | F | F |
| 4768 | T | T | T |
| 4769 | * | F | F |
| 4770 | * | F | F |
| 4771 | T | T | T |
| 4772 | * | F | F |
| 4773 | * | F | F |
| 4774 | * | F | F |
| 4775 | T | T | T |
| 4776 | * | F | F |
| 4777 | * | F | F |
| 4778 | * | F | F |
| 4779 | * | T | T |
| 8494 | T | F | F |
| 8495 | * | F | F |
| 8496 | T | T | T |
| 8497 | * | F | F |
| 8498 | * | F | F |
| 8499 | T | T | T |
| 8500 | * | F | F |
| 8501 | * | F | F |
| 8502 | T | T | T |
| 8503 | * | F | F |
| 8504 | * | F | F |
| 8505 | * | F | F |
| 8506 | T | T | T |
| 8507 | * | F | F |
| 8508 | * | F | F |
| 8509 | * | F | F |
| 8510 | * | T | T |
| 11968 | T | F | F |
| 11969 | * | F | F |
| 11970 | * | F | F |
| 11971 | * | F | F |
| 11972 | * | F | F |
| 11973 | * | F | F |
| 11974 | * | T | T |
| 13344 | T | F | F |
| 13345 | * | F | F |
| 13346 | * | F | F |
| 13347 | * | F | F |
| 13348 | * | F | F |
| 13349 | * | F | F |
| 13350 | * | T | T |
| 14669 | T | F | F |
| 14670 | * | F | F |
| 14671 | * | F | F |
| 14672 | * | F | F |
| 14673 | * | F | F |
| 14674 | * | F | F |
| 14675 | * | T | T |
| 16576 | T | F | F |
| 16577 | * | F | F |
| 16578 | * | F | F |
| 16579 | * | F | F |
| 16580 | * | F | F |
| 16581 | * | F | F |
| 16582 | * | F | F |
| 16583 | * | F | F |
| 16584 | * | F | F |
| 16585 | * | F | F |
| 16586 | * | F | F |
| 16587 | * | F | F |
| 16588 | * | F | F |
| 16589 | * | F | F |
| 16590 | * | F | F |
| 16591 | * | F | F |
| 16592 | * | T | T |
| 26056 | T | F | F |
| 26057 | * | F | F |
| 26058 | * | F | F |
| 26059 | * | F | F |
| 26060 | * | F | F |
| 26061 | * | F | F |
| 26062 | * | F | F |
| 26063 | * | F | F |
| 26064 | * | F | F |
| 26065 | * | F | F |
| 26066 | * | F | F |
| 26067 | * | F | F |
| 26068 | * | F | F |
| 26069 | * | F | F |
| 26070 | * | F | F |
| 26071 | * | F | F |
| 26072 | * | T | T |
| 35680 | T | F | F |
| 35681 | * | F | F |
| 35682 | * | F | F |
| 35683 | * | F | F |
| 35684 | * | F | F |
| 35685 | * | F | F |
| 35686 | * | F | F |
| 35687 | * | F | F |
| 35688 | * | F | F |
| 35689 | * | F | F |
| 35690 | * | F | F |
| 35691 | * | F | F |
| 35692 | * | F | F |
| 35693 | * | F | F |
| 35694 | * | F | F |
| 35695 | * | T | T |
| 41893 | T | F | F |
| 41894 | * | F | F |
| 41895 | * | F | F |
| 41896 | * | F | F |
| 41897 | * | F | F |
| 41898 | * | F | F |
| 41899 | * | F | F |
| 41900 | * | F | F |
| 41901 | * | F | F |
| 41902 | * | F | F |
| 41903 | * | F | F |
| 41904 | * | F | F |
| 41905 | * | F | F |
| 41906 | * | F | F |
| 41907 | * | F | F |
| 41908 | * | T | T |
| 48011 | T | F | F |
| 48012 | * | F | F |
| 48013 | * | F | F |
| 48014 | * | F | F |
| 48015 | T | T | T |
| 48016 | * | F | F |
| 48017 | * | F | F |
| 48018 | * | F | F |
| 48019 | T | T | T |
| 48020 | * | F | F |
| 48021 | * | F | F |
| 48022 | * | F | F |
| 48023 | * | F | F |
| 48024 | * | F | F |
| 48025 | * | F | F |
| 48026 | * | F | F |
| 48027 | * | T | T |
| 52180 | T | F | F |
| 52181 | * | F | F |
| 52182 | * | F | F |
| 52183 | * | F | F |
| 52184 | T | T | T |
| 52185 | * | F | F |
| 52186 | * | F | F |
| 52187 | * | F | F |
| 52188 | T | T | T |
| 52189 | * | F | F |
| 52190 | * | F | F |
| 52191 | * | F | F |
| 52192 | * | F | F |
| 52193 | * | F | F |
| 52194 | * | F | F |
| 52195 | * | F | F |
| 52196 | * | T | T |
| 56718 | T | F | F |
| 56719 | * | F | F |
| 56720 | * | F | F |
| 56721 | * | F | F |
| 56722 | T | T | T |
| 56723 | * | F | F |
| 56724 | * | F | F |
| 56725 | * | F | F |
| 56726 | T | T | T |
| 56727 | * | F | F |
| 56728 | * | F | F |
| 56729 | * | F | F |
| 56730 | * | F | F |
| 56731 | * | F | F |
| 56732 | * | F | F |
| 56733 | * | F | F |
| 56734 | * | T | T |
| 60935 | T | F | F |
| 60936 | * | F | F |
| 60937 | * | F | F |
| 60938 | * | F | F |
| 60939 | T | T | T |
| 60940 | * | F | F |
| 60941 | * | F | F |
| 60942 | * | F | F |
| 60943 | T | T | T |
| 60944 | * | F | F |
| 60945 | * | F | F |
| 60946 | * | F | F |
| 60947 | * | F | F |
| 60948 | * | F | F |
| 60949 | * | F | F |
| 60950 | * | F | F |
| 60951 | * | T | T |
| 65172 | T | F | F |
| 65173 | * | F | F |
| 65174 | * | F | F |
| 65175 | * | F | F |
| 65176 | * | F | F |
| 65177 | * | F | F |
| 65178 | * | F | F |
| 65179 | * | F | F |
| 65180 | * | F | F |
| 65181 | * | F | F |
| 65182 | * | F | F |
| 65183 | * | F | F |
| 65184 | * | F | F |
| 65185 | * | F | F |
| 65186 | * | F | F |
| 65187 | * | F | F |
| 65188 | * | T | T |
| 76685 | T | F | F |
| 76686 | * | F | F |
| 76687 | * | F | F |
| 76688 | * | F | F |
| 76689 | * | F | F |
| 76690 | * | F | F |
| 76691 | * | F | F |
| 76692 | * | F | F |
| 76693 | * | F | F |
| 76694 | * | F | F |
| 76695 | * | F | F |
| 76696 | * | F | F |
| 76697 | * | F | F |
| 76698 | * | F | F |
| 76699 | * | F | F |
| 76700 | * | F | F |
| 76701 | * | T | T |
| 88407 | T | F | F |
| 88408 | * | F | F |
| 88409 | * | F | F |
| 88410 | * | F | F |
| 88411 | T | T | T |
| 88412 | * | F | F |
| 88413 | * | F | F |
| 88414 | * | F | F |
| 88415 | * | F | F |
| 88416 | T | T | T |
| 88417 | * | F | F |
| 88418 | * | F | F |
| 88419 | * | F | F |
| 88420 | * | F | F |
| 88421 | T | T | T |
| 88422 | * | F | F |
| 88423 | * | F | F |
| 88424 | * | F | F |
| 88425 | * | F | F |
| 88426 | T | T | T |
| 88427 | * | F | F |
| 88428 | * | F | F |
| 88429 | * | F | F |
| 88430 | * | F | F |
| 88431 | T | T | T |
| 88432 | * | F | F |
| 88433 | * | F | F |
| 88434 | * | F | F |
| 88435 | * | F | F |
| 88436 | * | T | T |
| 92675 | T | F | F |
| 92676 | * | F | F |
| 92677 | * | F | F |
| 92678 | * | F | F |
| 92679 | T | T | T |
| 92680 | * | F | F |
| 92681 | * | F | F |
| 92682 | * | F | F |
| 92683 | * | F | F |
| 92684 | T | T | T |
| 92685 | * | F | F |
| 92686 | * | F | F |
| 92687 | * | F | F |
| 92688 | * | F | F |
| 92689 | T | T | T |
| 92690 | * | F | F |
| 92691 | * | F | F |
| 92692 | * | F | F |
| 92693 | * | F | F |
| 92694 | T | T | T |
| 92695 | * | F | F |
| 92696 | * | F | F |
| 92697 | * | F | F |
| 92698 | * | F | F |
| 92699 | T | T | T |
| 92700 | * | F | F |
| 92701 | * | F | F |
| 92702 | * | F | F |
| 92703 | * | F | F |
| 92704 | * | T | T |
| 96155 | T | F | F |
| 96156 | * | F | F |
| 96157 | T | T | T |
| 96158 | * | F | F |
| 96159 | * | F | F |
| 96160 | T | T | T |
| 96161 | * | F | F |
| 96162 | * | F | F |
| 96163 | * | T | T |
| 98032 | T | F | F |
| 98033 | * | F | F |
| 98034 | * | F | F |
| 98035 | * | F | F |
| 98036 | * | F | F |
| 98037 | * | T | T |
| 99549 | T | F | F |
| 99550 | * | F | F |
| 99551 | * | F | F |
| 99552 | * | F | F |
| 99553 | * | F | F |
| 99554 | * | T | T |
| 100965 | T | F | F |
| 100966 | * | F | F |
| 100967 | * | F | F |
| 100968 | * | F | F |
| 100969 | * | F | F |
| 100970 | * | T | T |
| 102674 | T | F | F |
| 102675 | * | F | F |
| 102676 | * | F | F |
| 102677 | * | F | F |
| 102678 | * | F | F |
| 102679 | * | F | F |
| 102680 | * | F | F |
| 102681 | * | F | F |
| 102682 | * | F | F |
| 102683 | * | F | F |
| 102684 | * | T | T |
| 105924 | T | F | F |
| 105925 | * | F | F |
| 105926 | * | F | F |
| 105927 | * | F | F |
| 105928 | * | F | F |
| 105929 | * | F | F |
| 105930 | * | F | F |
| 105931 | * | F | F |
| 105932 | * | F | F |
| 105933 | * | F | F |
| 105934 | T | T | T |
| 105935 | * | F | F |
| 105936 | * | F | F |
| 105937 | * | F | F |
| 105938 | * | F | F |
| 105939 | * | F | F |
| 105940 | * | F | F |
| 105941 | * | F | F |
| 105942 | * | F | F |
| 105943 | * | F | F |
| 105944 | * | F | F |
| 105945 | T | T | T |
| 105946 | * | F | F |
| 105947 | * | F | F |
| 105948 | * | F | F |
| 105949 | * | F | F |
| 105950 | * | F | F |
| 105951 | * | F | F |
| 105952 | * | F | F |
| 105953 | * | F | F |
| 105954 | * | F | F |
| 105955 | * | F | F |
| 105956 | * | T | T |
| 109030 | T | F | F |
| 109031 | * | F | F |
| 109032 | * | F | F |
| 109033 | * | F | F |
| 109034 | * | F | F |
| 109035 | * | F | F |
| 109036 | * | T | T |
| 111701 | T | F | F |
| 111702 | * | F | F |
| 111703 | * | F | F |
| 111704 | * | F | F |
| 111705 | * | F | F |
| 111706 | * | F | F |
| 111707 | * | F | F |
| 111708 | * | F | F |
| 111709 | * | F | F |
| 111710 | * | F | F |
| 111711 | * | F | F |
| 111712 | * | F | F |
| 111713 | * | F | F |
| 111714 | * | F | F |
| 111715 | * | F | F |
| 111716 | * | F | F |
| 111717 | * | F | F |
| 111718 | T | T | T |
| 111719 | * | F | F |
| 111720 | * | F | F |
| 111721 | * | F | F |
| 111722 | * | F | F |
| 111723 | * | F | F |
| 111724 | * | F | F |
| 111725 | * | F | F |
| 111726 | * | F | F |
| 111727 | * | F | F |
| 111728 | * | F | F |
| 111729 | * | F | F |
| 111730 | * | F | F |
| 111731 | * | F | F |
| 111732 | * | F | F |
| 111733 | * | F | F |
| 111734 | * | F | F |
| 111735 | * | F | F |
| 111736 | * | T | T |
| 114597 | T | F | F |
| 114598 | * | F | F |
| 114599 | * | F | F |
| 114600 | * | F | F |
| 114601 | * | F | F |
| 114602 | * | F | F |
| 114603 | * | F | F |
| 114604 | * | F | F |
| 114605 | * | F | F |
| 114606 | * | F | F |
| 114607 | * | F | F |
| 114608 | * | F | F |
| 114609 | * | F | F |
| 114610 | * | F | F |
| 114611 | * | F | F |
| 114612 | * | F | F |
| 114613 | * | F | F |
| 114614 | * | F | F |
| 114615 | * | F | F |
| 114616 | * | F | F |
| 114617 | * | T | T |
| 118634 | T | F | F |
| 118635 | * | F | F |
| 118636 | * | F | F |
| 118637 | * | F | F |
| 118638 | * | F | F |
| 118639 | * | F | F |
| 118640 | * | F | F |
| 118641 | * | F | F |
| 118642 | * | F | F |
| 118643 | * | F | F |
| 118644 | * | F | F |
| 118645 | * | F | F |
| 118646 | * | F | F |
| 118647 | * | F | F |
| 118648 | * | F | F |
| 118649 | * | F | F |
| 118650 | * | F | F |
| 118651 | * | T | T |
| 141570 | T | F | F |
| 141571 | * | F | F |
| 141572 | * | F | F |
| 141573 | * | F | F |
| 141574 | * | F | F |
| 141575 | * | F | F |
| 141576 | * | F | F |
| 141577 | * | F | F |
| 141578 | * | F | F |
| 141579 | * | F | F |
| 141580 | * | F | F |
| 141581 | * | F | F |
| 141582 | * | F | F |
| 141583 | * | F | F |
| 141584 | * | F | F |
| 141585 | * | F | F |
| 141586 | * | F | F |
| 141587 | * | T | T |
| 163254 | T | F | F |
| 163255 | * | F | F |
| 163256 | * | F | F |
| 163257 | * | F | F |
| 163258 | * | T | T |
| 164825 | T | F | F |
| 164826 | * | F | F |
| 164827 | * | F | F |
| 164828 | * | F | F |
| 164829 | * | T | T |
| 166547 | T | F | F |
| 166548 | * | F | F |
| 166549 | * | F | F |
| 166550 | * | F | F |
| 166551 | * | T | T |
Independent-effect pairs
c0(branch3773): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1901 ← library/core/src/ptr/mod.rs:825c1(branch3785): PROVED — pair rows970,972(unique-cause)scry_analyze_core::analyze· br_if