Decision #690 — library/core/src/ptr/mod.rs:1939
Status: full_mcdc
Truth table
| row | c0 br 4618 | c1 br 4619 | c2 br 4626 | outcome |
|---|---|---|---|---|
| 1682 | T | * | * | T |
| 1683 | T | * | * | T |
| 1684 | F | T | * | T |
| 1685 | T | * | * | T |
| 1686 | T | * | * | T |
| 1687 | F | T | * | T |
| 1688 | T | * | * | T |
| 1689 | T | * | * | T |
| 1690 | F | T | * | T |
| 1691 | T | * | * | T |
| 1692 | T | * | * | T |
| 1693 | T | * | * | T |
| 1694 | F | T | * | T |
| 1695 | T | * | * | T |
| 1696 | T | * | * | T |
| 1697 | T | * | * | T |
| 1698 | F | F | F | F |
| 1699 | * | * | F | F |
| 1700 | * | * | F | F |
| 1701 | * | * | F | F |
| 1702 | * | * | F | F |
| 8642 | T | * | * | T |
| 8643 | T | * | * | T |
| 8644 | F | T | * | T |
| 8645 | T | * | * | T |
| 8646 | T | * | * | T |
| 8647 | F | T | * | T |
| 8648 | T | * | * | T |
| 8649 | T | * | * | T |
| 8650 | F | T | * | T |
| 8651 | T | * | * | T |
| 8652 | T | * | * | T |
| 8653 | T | * | * | T |
| 8654 | F | T | * | T |
| 8655 | T | * | * | T |
| 8656 | T | * | * | T |
| 8657 | T | * | * | T |
| 8658 | F | F | F | F |
| 8659 | * | * | F | F |
| 8660 | * | * | F | F |
| 8661 | * | * | F | F |
| 8662 | * | * | F | F |
| 15443 | T | * | * | T |
| 15444 | T | * | * | T |
| 15445 | F | T | * | T |
| 15446 | T | * | * | T |
| 15447 | T | * | * | T |
| 15448 | F | T | * | T |
| 15449 | T | * | * | T |
| 15450 | T | * | * | T |
| 15451 | F | T | * | T |
| 15452 | T | * | * | T |
| 15453 | T | * | * | T |
| 15454 | T | * | * | T |
| 15455 | F | T | * | T |
| 15456 | T | * | * | T |
| 15457 | T | * | * | T |
| 15458 | T | * | * | T |
| 15459 | F | F | F | F |
| 15460 | * | * | F | F |
| 15461 | * | * | F | F |
| 15462 | * | * | F | F |
| 15463 | * | * | F | F |
| 21846 | T | * | * | T |
| 21847 | T | * | * | T |
| 21848 | T | * | * | T |
| 21849 | T | * | * | T |
| 21850 | T | * | * | T |
| 21851 | T | * | * | T |
| 21852 | F | F | F | F |
| 24589 | T | * | * | T |
| 24590 | T | * | * | T |
| 24591 | T | * | * | T |
| 24592 | T | * | * | T |
| 24593 | T | * | * | T |
| 24594 | T | * | * | T |
| 24595 | F | F | F | F |
| 27232 | T | * | * | T |
| 27233 | T | * | * | T |
| 27234 | T | * | * | T |
| 27235 | T | * | * | T |
| 27236 | T | * | * | T |
| 27237 | T | * | * | T |
| 27238 | F | F | F | F |
| 30958 | T | * | * | T |
| 30959 | T | * | * | T |
| 30960 | T | * | * | T |
| 30961 | T | * | * | T |
| 30962 | T | * | * | T |
| 30963 | T | * | * | T |
| 30964 | T | * | * | T |
| 30965 | F | F | F | F |
| 51813 | T | * | * | T |
| 51814 | T | * | * | T |
| 51815 | T | * | * | T |
| 51816 | T | * | * | T |
| 51817 | T | * | * | T |
| 51818 | T | * | * | T |
| 51819 | T | * | * | T |
| 51820 | F | F | F | F |
| 72731 | T | * | * | T |
| 72732 | T | * | * | T |
| 72733 | T | * | * | T |
| 72734 | T | * | * | T |
| 72735 | T | * | * | T |
| 72736 | T | * | * | T |
| 72737 | T | * | * | T |
| 72738 | F | F | F | F |
| 82614 | T | * | * | T |
| 82615 | T | * | * | T |
| 82616 | T | * | * | T |
| 82617 | T | * | * | T |
| 82618 | T | * | * | T |
| 82619 | T | * | * | T |
| 82620 | T | * | * | T |
| 82621 | F | F | F | F |
| 92428 | T | * | * | T |
| 92429 | T | * | * | T |
| 92430 | T | * | * | T |
| 92431 | T | * | * | T |
| 92432 | F | T | * | T |
| 92433 | T | * | * | T |
| 92434 | T | * | * | T |
| 92435 | T | * | * | T |
| 92436 | F | T | * | T |
| 92437 | T | * | * | T |
| 92438 | T | * | * | T |
| 92439 | T | * | * | T |
| 92440 | T | * | * | T |
| 92441 | T | * | * | T |
| 92442 | T | * | * | T |
| 92443 | T | * | * | T |
| 92444 | F | F | F | F |
| 92445 | * | * | F | F |
| 92446 | * | * | T | T |
| 100257 | T | * | * | T |
| 100258 | T | * | * | T |
| 100259 | T | * | * | T |
| 100260 | T | * | * | T |
| 100261 | F | T | * | T |
| 100262 | T | * | * | T |
| 100263 | T | * | * | T |
| 100264 | T | * | * | T |
| 100265 | F | T | * | T |
| 100266 | T | * | * | T |
| 100267 | T | * | * | T |
| 100268 | T | * | * | T |
| 100269 | T | * | * | T |
| 100270 | T | * | * | T |
| 100271 | T | * | * | T |
| 100272 | T | * | * | T |
| 100273 | F | F | F | F |
| 100274 | * | * | F | F |
| 100275 | * | * | T | T |
| 108746 | T | * | * | T |
| 108747 | T | * | * | T |
| 108748 | T | * | * | T |
| 108749 | T | * | * | T |
| 108750 | F | T | * | T |
| 108751 | T | * | * | T |
| 108752 | T | * | * | T |
| 108753 | T | * | * | T |
| 108754 | F | T | * | T |
| 108755 | T | * | * | T |
| 108756 | T | * | * | T |
| 108757 | T | * | * | T |
| 108758 | T | * | * | T |
| 108759 | T | * | * | T |
| 108760 | T | * | * | T |
| 108761 | T | * | * | T |
| 108762 | F | F | F | F |
| 108763 | * | * | F | F |
| 108764 | * | * | T | T |
| 116772 | T | * | * | T |
| 116773 | T | * | * | T |
| 116774 | T | * | * | T |
| 116775 | T | * | * | T |
| 116776 | F | T | * | T |
| 116777 | T | * | * | T |
| 116778 | T | * | * | T |
| 116779 | T | * | * | T |
| 116780 | F | T | * | T |
| 116781 | T | * | * | T |
| 116782 | T | * | * | T |
| 116783 | T | * | * | T |
| 116784 | T | * | * | T |
| 116785 | T | * | * | T |
| 116786 | T | * | * | T |
| 116787 | T | * | * | T |
| 116788 | F | F | F | F |
| 116789 | * | * | F | F |
| 116790 | * | * | T | T |
| 124698 | T | * | * | T |
| 124699 | T | * | * | T |
| 124700 | T | * | * | T |
| 124701 | T | * | * | T |
| 124702 | T | * | * | T |
| 124703 | T | * | * | T |
| 124704 | T | * | * | T |
| 124705 | F | F | F | F |
| 141417 | T | * | * | T |
| 141418 | T | * | * | T |
| 141419 | T | * | * | T |
| 141420 | T | * | * | T |
| 141421 | T | * | * | T |
| 141422 | T | * | * | T |
| 141423 | T | * | * | T |
| 141424 | F | F | F | F |
| 158993 | T | * | * | T |
| 158994 | T | * | * | T |
| 158995 | T | * | * | T |
| 158996 | T | * | * | T |
| 158997 | F | T | * | T |
| 158998 | T | * | * | T |
| 158999 | T | * | * | T |
| 159000 | T | * | * | T |
| 159001 | T | * | * | T |
| 159002 | F | T | * | T |
| 159003 | T | * | * | T |
| 159004 | T | * | * | T |
| 159005 | T | * | * | T |
| 159006 | T | * | * | T |
| 159007 | F | T | * | T |
| 159008 | T | * | * | T |
| 159009 | T | * | * | T |
| 159010 | T | * | * | T |
| 159011 | T | * | * | T |
| 159012 | F | T | * | T |
| 159013 | T | * | * | T |
| 159014 | T | * | * | T |
| 159015 | T | * | * | T |
| 159016 | T | * | * | T |
| 159017 | F | T | * | T |
| 159018 | T | * | * | T |
| 159019 | T | * | * | T |
| 159020 | T | * | * | T |
| 159021 | T | * | * | T |
| 159022 | F | F | F | F |
| 159023 | * | * | F | F |
| 159024 | * | * | F | F |
| 159025 | * | * | F | F |
| 159026 | * | * | F | F |
| 159027 | * | * | F | F |
| 168851 | T | * | * | T |
| 168852 | T | * | * | T |
| 168853 | T | * | * | T |
| 168854 | T | * | * | T |
| 168855 | F | T | * | T |
| 168856 | T | * | * | T |
| 168857 | T | * | * | T |
| 168858 | T | * | * | T |
| 168859 | T | * | * | T |
| 168860 | F | T | * | T |
| 168861 | T | * | * | T |
| 168862 | T | * | * | T |
| 168863 | T | * | * | T |
| 168864 | T | * | * | T |
| 168865 | F | T | * | T |
| 168866 | T | * | * | T |
| 168867 | T | * | * | T |
| 168868 | T | * | * | T |
| 168869 | T | * | * | T |
| 168870 | F | T | * | T |
| 168871 | T | * | * | T |
| 168872 | T | * | * | T |
| 168873 | T | * | * | T |
| 168874 | T | * | * | T |
| 168875 | F | T | * | T |
| 168876 | T | * | * | T |
| 168877 | T | * | * | T |
| 168878 | T | * | * | T |
| 168879 | T | * | * | T |
| 168880 | F | F | F | F |
| 168881 | * | * | F | F |
| 168882 | * | * | F | F |
| 168883 | * | * | F | F |
| 168884 | * | * | F | F |
| 168885 | * | * | F | F |
| 176799 | T | * | * | T |
| 176800 | T | * | * | T |
| 176801 | F | T | * | T |
| 176802 | T | * | * | T |
| 176803 | T | * | * | T |
| 176804 | F | T | * | T |
| 176805 | T | * | * | T |
| 176806 | T | * | * | T |
| 176807 | F | F | F | F |
| 176808 | * | * | F | F |
| 176809 | * | * | F | F |
| 181345 | T | * | * | T |
| 181346 | T | * | * | T |
| 181347 | T | * | * | T |
| 181348 | T | * | * | T |
| 181349 | T | * | * | T |
| 181350 | F | F | F | F |
| 184664 | T | * | * | T |
| 184665 | T | * | * | T |
| 184666 | T | * | * | T |
| 184667 | T | * | * | T |
| 184668 | T | * | * | T |
| 184669 | F | F | F | F |
| 187772 | T | * | * | T |
| 187773 | T | * | * | T |
| 187774 | T | * | * | T |
| 187775 | T | * | * | T |
| 187776 | T | * | * | T |
| 187777 | F | F | F | F |
| 191396 | T | * | * | T |
| 191397 | T | * | * | T |
| 191398 | T | * | * | T |
| 191399 | T | * | * | T |
| 191400 | T | * | * | T |
| 191401 | T | * | * | T |
| 191402 | T | * | * | T |
| 191403 | F | F | F | F |
| 197127 | T | * | * | T |
| 197128 | T | * | * | T |
| 197129 | T | * | * | T |
| 197130 | T | * | * | T |
| 197131 | T | * | * | T |
| 197132 | T | * | * | T |
| 197133 | T | * | * | T |
| 197134 | F | T | * | T |
| 197135 | T | * | * | T |
| 197136 | T | * | * | T |
| 197137 | T | * | * | T |
| 197138 | T | * | * | T |
| 197139 | T | * | * | T |
| 197140 | T | * | * | T |
| 197141 | T | * | * | T |
| 197142 | F | T | * | T |
| 197143 | T | * | * | T |
| 197144 | T | * | * | T |
| 197145 | T | * | * | T |
| 197146 | T | * | * | T |
| 197147 | T | * | * | T |
| 197148 | T | * | * | T |
| 197149 | T | * | * | T |
| 197150 | F | F | F | F |
| 197151 | * | * | F | F |
| 197152 | * | * | F | F |
| 203457 | T | * | * | T |
| 203458 | T | * | * | T |
| 203459 | T | * | * | T |
| 203460 | T | * | * | T |
| 203461 | T | * | * | T |
| 203462 | T | * | * | T |
| 203463 | F | F | F | F |
| 208472 | T | * | * | T |
| 208473 | T | * | * | T |
| 208474 | T | * | * | T |
| 208475 | T | * | * | T |
| 208476 | T | * | * | T |
| 208477 | T | * | * | T |
| 208478 | T | * | * | T |
| 208479 | F | T | * | T |
| 208480 | T | * | * | T |
| 208481 | T | * | * | T |
| 208482 | T | * | * | T |
| 208483 | T | * | * | T |
| 208484 | T | * | * | T |
| 208485 | T | * | * | T |
| 208486 | T | * | * | T |
| 208487 | F | F | F | F |
| 208488 | * | * | F | F |
| 216026 | T | * | * | T |
| 216027 | T | * | * | T |
| 216028 | T | * | * | T |
| 216029 | T | * | * | T |
| 216030 | T | * | * | T |
| 216031 | T | * | * | T |
| 216032 | T | * | * | T |
| 216033 | F | F | T | T |
| 224434 | T | * | * | T |
| 224435 | T | * | * | T |
| 224436 | T | * | * | T |
| 224437 | T | * | * | T |
| 224438 | T | * | * | T |
| 224439 | T | * | * | T |
| 224440 | T | * | * | T |
| 224441 | F | F | F | F |
| 301811 | T | * | * | T |
| 301812 | T | * | * | T |
| 301813 | T | * | * | T |
| 301814 | T | * | * | T |
| 301815 | T | * | * | T |
| 301816 | T | * | * | T |
| 301817 | T | * | * | T |
| 301818 | F | F | F | F |
| 377208 | T | * | * | T |
| 377209 | T | * | * | T |
| 377210 | T | * | * | T |
| 377211 | T | * | * | T |
| 377212 | F | F | F | F |
| 379865 | T | * | * | T |
| 379866 | T | * | * | T |
| 379867 | T | * | * | T |
| 379868 | T | * | * | T |
| 379869 | F | F | F | F |
| 382749 | T | * | * | T |
| 382750 | T | * | * | T |
| 382751 | T | * | * | T |
| 382752 | T | * | * | T |
| 382753 | F | F | F | F |
Independent-effect pairs
c0(branch4618): PROVED — pair rows1682,1698(masking)scry_analyze_core::analyze· br_if
inlined: lib.rs:2475 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c1(branch4619): PROVED — pair rows1684,1698(masking)scry_analyze_core::analyze· br_if
inlined: lib.rs:2475 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c2(branch4626): PROVED — pair rows1698,216033(unique-cause)scry_analyze_core::analyze· br_if
inlined: lib.rs:2607 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043