Decision #393 — library/alloc/src/raw_vec/mod.rs:469
Status: partial
Truth table
| row | c0 br 2722 | c1 br 2723 | outcome |
|---|---|---|---|
| 13822 | T | T | T |
| 13823 | T | T | T |
| 13824 | T | T | T |
| 13825 | T | T | T |
| 13826 | T | T | T |
| 13827 | T | T | T |
| 13828 | T | T | T |
| 13829 | T | T | T |
| 13830 | T | T | T |
| 13831 | T | T | T |
| 13832 | T | T | T |
| 13833 | T | T | T |
| 13834 | T | T | T |
| 13835 | T | T | T |
| 13836 | T | T | T |
| 13837 | T | T | T |
| 21540 | T | T | T |
| 21541 | T | T | T |
| 21542 | T | T | T |
| 21543 | T | T | T |
| 21544 | T | T | T |
| 21545 | T | T | T |
| 21546 | T | T | T |
| 21547 | T | T | T |
| 21548 | T | T | T |
| 21549 | T | T | T |
| 21550 | T | T | T |
| 21551 | T | T | T |
| 21552 | T | T | T |
| 21553 | T | T | T |
| 21554 | T | T | T |
| 21555 | T | T | T |
| 29546 | T | T | T |
| 29547 | F | * | F |
| 29548 | T | T | T |
| 29549 | F | * | F |
| 29550 | T | T | T |
| 29551 | F | * | F |
| 29552 | T | T | T |
| 29553 | F | * | F |
| 29554 | T | T | T |
| 29555 | T | T | T |
| 29556 | T | T | T |
| 29557 | T | T | T |
| 29558 | T | T | T |
| 29559 | T | T | T |
| 29560 | T | T | T |
| 29561 | F | * | F |
| 29562 | T | T | T |
| 29563 | F | * | F |
| 29564 | T | T | T |
| 29565 | F | * | F |
| 29566 | T | T | T |
| 29567 | F | * | F |
| 29568 | T | T | T |
| 29569 | T | T | T |
| 29570 | T | T | T |
| 29571 | T | T | T |
| 29572 | T | T | T |
| 29573 | T | T | T |
| 35484 | T | T | T |
| 35485 | F | * | F |
| 35486 | T | T | T |
| 35487 | F | * | F |
| 35488 | T | T | T |
| 35489 | F | * | F |
| 35490 | T | T | T |
| 35491 | F | * | F |
| 35492 | T | T | T |
| 35493 | T | T | T |
| 35494 | T | T | T |
| 35495 | T | T | T |
| 35496 | T | T | T |
| 35497 | T | T | T |
| 35498 | T | T | T |
| 35499 | F | * | F |
| 35500 | T | T | T |
| 35501 | F | * | F |
| 35502 | T | T | T |
| 35503 | F | * | F |
| 35504 | T | T | T |
| 35505 | F | * | F |
| 35506 | T | T | T |
| 35507 | T | T | T |
| 35508 | T | T | T |
| 35509 | T | T | T |
| 35510 | T | T | T |
| 35511 | T | T | T |
| 53815 | T | T | T |
| 53816 | T | T | T |
| 53817 | T | T | T |
| 53818 | T | T | T |
| 53819 | T | T | T |
| 53820 | T | T | T |
| 53821 | T | T | T |
| 53822 | T | T | T |
| 53823 | T | T | T |
| 53824 | T | T | T |
| 53825 | T | T | T |
| 53826 | T | T | T |
| 53827 | T | T | T |
| 53828 | T | T | T |
| 53829 | T | T | T |
| 53830 | T | T | T |
| 53831 | T | T | T |
| 53832 | T | T | T |
| 53833 | T | T | T |
| 53834 | T | T | T |
| 53835 | T | T | T |
| 53836 | T | T | T |
| 53837 | T | T | T |
| 53838 | T | T | T |
| 63587 | T | T | T |
| 63588 | T | T | T |
| 63589 | T | T | T |
| 63590 | T | T | T |
| 63591 | T | T | T |
| 63592 | T | T | T |
| 63593 | T | T | T |
| 63594 | T | T | T |
| 63595 | T | T | T |
| 63596 | T | T | T |
| 63597 | T | T | T |
| 63598 | T | T | T |
| 63599 | T | T | T |
| 63600 | T | T | T |
| 63601 | T | T | T |
| 63602 | T | T | T |
| 63603 | T | T | T |
| 63604 | T | T | T |
| 63605 | T | T | T |
| 63606 | T | T | T |
| 63607 | T | T | T |
| 63608 | T | T | T |
| 63609 | T | T | T |
| 63610 | T | T | T |
| 93762 | T | T | T |
| 93763 | T | T | T |
| 93764 | T | T | T |
| 93765 | T | T | T |
| 93766 | T | T | T |
| 93767 | T | T | T |
| 93768 | T | T | T |
| 93769 | T | T | T |
| 93770 | T | T | T |
| 93771 | T | T | T |
| 93772 | T | T | T |
| 93773 | T | T | T |
| 93774 | T | T | T |
| 93775 | T | T | T |
| 93776 | T | T | T |
| 93777 | T | T | T |
| 93778 | T | T | T |
| 93779 | T | T | T |
| 93780 | T | T | T |
| 93781 | T | T | T |
| 93782 | T | T | T |
| 93783 | T | T | T |
| 93784 | T | T | T |
| 93785 | T | T | T |
| 93786 | T | T | T |
| 93787 | T | T | T |
| 93788 | T | T | T |
| 93789 | T | T | T |
| 93790 | T | T | T |
| 93791 | T | T | T |
| 93792 | T | T | T |
| 93793 | T | T | T |
| 93794 | T | T | T |
| 93795 | T | T | T |
| 93796 | T | T | T |
| 93797 | T | T | T |
| 93798 | T | T | T |
| 93799 | T | T | T |
| 93800 | T | T | T |
| 93801 | T | T | T |
| 93802 | T | T | T |
| 93803 | T | T | T |
| 93804 | T | T | T |
| 93805 | T | T | T |
| 93806 | T | T | T |
| 93807 | T | T | T |
| 93808 | T | T | T |
| 93809 | T | T | T |
| 93810 | T | T | T |
| 93811 | T | T | T |
| 93812 | T | T | T |
| 93813 | T | T | T |
| 93814 | T | T | T |
| 93815 | T | T | T |
| 93816 | T | T | T |
| 93817 | T | T | T |
| 93818 | T | T | T |
| 93819 | T | T | T |
| 93820 | T | T | T |
| 93821 | T | T | T |
| 93822 | T | T | T |
| 93823 | T | T | T |
| 93824 | T | T | T |
| 93825 | T | T | T |
| 112625 | T | T | T |
| 112626 | T | T | T |
| 112627 | T | T | T |
| 112628 | T | T | T |
| 112629 | T | T | T |
| 112630 | T | T | T |
| 112631 | T | T | T |
| 112632 | T | T | T |
| 112633 | T | T | T |
| 112634 | T | T | T |
| 112635 | T | T | T |
| 112636 | T | T | T |
| 112637 | T | T | T |
| 112638 | T | T | T |
| 112639 | T | T | T |
| 112640 | T | T | T |
| 112641 | T | T | T |
| 112642 | T | T | T |
| 112643 | T | T | T |
| 112644 | T | T | T |
| 112645 | T | T | T |
| 112646 | T | T | T |
| 112647 | T | T | T |
| 112648 | T | T | T |
| 112649 | T | T | T |
| 112650 | T | T | T |
| 112651 | T | T | T |
| 112652 | T | T | T |
| 112653 | T | T | T |
| 112654 | T | T | T |
| 112655 | T | T | T |
| 112656 | T | T | T |
| 112657 | T | T | T |
| 112658 | T | T | T |
| 112659 | T | T | T |
| 112660 | T | T | T |
| 112661 | T | T | T |
| 112662 | T | T | T |
| 112663 | T | T | T |
| 112664 | T | T | T |
| 112665 | T | T | T |
| 112666 | T | T | T |
| 112667 | T | T | T |
| 112668 | T | T | T |
| 112669 | T | T | T |
| 112670 | T | T | T |
| 112671 | T | T | T |
| 112672 | T | T | T |
| 112673 | T | T | T |
| 112674 | T | T | T |
| 112675 | T | T | T |
| 112676 | T | T | T |
| 112677 | T | T | T |
| 112678 | T | T | T |
| 112679 | T | T | T |
| 112680 | T | T | T |
| 112681 | T | T | T |
| 112682 | T | T | T |
| 112683 | T | T | T |
| 112684 | T | T | T |
| 112685 | T | T | T |
| 112686 | T | T | T |
| 112687 | T | T | T |
| 112688 | T | T | T |
Independent-effect pairs
c0(branch2722): PROVED — pair rows13822,29547(masking)scry_interval::join· br_ifc1(branch2723): GAP view gap →scry_interval::join· br_if