Decision #337 — library/core/src/ptr/mod.rs:643
Status: full_mcdc
Truth table
| row | c0 br 2455 | c1 br 2456 | outcome |
|---|---|---|---|
| 1011 | T | * | T |
| 1012 | F | T | T |
| 1013 | T | * | T |
| 1014 | F | T | T |
| 1015 | T | * | T |
| 1016 | F | T | T |
| 1017 | T | * | T |
| 1018 | T | * | T |
| 1019 | F | T | T |
| 1020 | T | * | T |
| 1021 | T | * | T |
| 1022 | F | F | F |
| 4051 | T | * | T |
| 4052 | F | T | T |
| 4053 | T | * | T |
| 4054 | F | T | T |
| 4055 | T | * | T |
| 4056 | F | T | T |
| 4057 | T | * | T |
| 4058 | T | * | T |
| 4059 | F | T | T |
| 4060 | T | * | T |
| 4061 | T | * | T |
| 4062 | F | F | F |
| 7000 | T | * | T |
| 7001 | F | T | T |
| 7002 | T | * | T |
| 7003 | F | T | T |
| 7004 | T | * | T |
| 7005 | F | T | T |
| 7006 | T | * | T |
| 7007 | T | * | T |
| 7008 | F | T | T |
| 7009 | T | * | T |
| 7010 | T | * | T |
| 7011 | F | F | F |
| 9748 | T | * | T |
| 9749 | T | * | T |
| 9750 | T | * | T |
| 9751 | T | * | T |
| 9752 | T | * | T |
| 9753 | F | F | F |
| 10896 | T | * | T |
| 10897 | T | * | T |
| 10898 | T | * | T |
| 10899 | T | * | T |
| 10900 | T | * | T |
| 10901 | F | F | F |
| 11987 | T | * | T |
| 11988 | T | * | T |
| 11989 | T | * | T |
| 11990 | T | * | T |
| 11991 | T | * | T |
| 11992 | F | F | F |
| 13795 | T | * | T |
| 13796 | T | * | T |
| 13797 | T | * | T |
| 13798 | T | * | T |
| 13799 | T | * | T |
| 13800 | T | * | T |
| 13801 | T | * | T |
| 13802 | T | * | T |
| 13803 | T | * | T |
| 13804 | T | * | T |
| 13805 | T | * | T |
| 13806 | T | * | T |
| 13807 | T | * | T |
| 13808 | T | * | T |
| 13809 | T | * | T |
| 13810 | F | F | F |
| 21513 | T | * | T |
| 21514 | T | * | T |
| 21515 | T | * | T |
| 21516 | T | * | T |
| 21517 | T | * | T |
| 21518 | T | * | T |
| 21519 | T | * | T |
| 21520 | T | * | T |
| 21521 | T | * | T |
| 21522 | T | * | T |
| 21523 | T | * | T |
| 21524 | T | * | T |
| 21525 | T | * | T |
| 21526 | T | * | T |
| 21527 | T | * | T |
| 21528 | F | F | F |
| 29520 | T | * | T |
| 29521 | T | * | T |
| 29522 | T | * | T |
| 29523 | T | * | T |
| 29524 | T | * | T |
| 29525 | T | * | T |
| 29526 | T | * | T |
| 29527 | T | * | T |
| 29528 | T | * | T |
| 29529 | T | * | T |
| 29530 | T | * | T |
| 29531 | T | * | T |
| 29532 | T | * | T |
| 29533 | T | * | T |
| 29534 | F | F | F |
| 35458 | T | * | T |
| 35459 | T | * | T |
| 35460 | T | * | T |
| 35461 | T | * | T |
| 35462 | T | * | T |
| 35463 | T | * | T |
| 35464 | T | * | T |
| 35465 | T | * | T |
| 35466 | T | * | T |
| 35467 | T | * | T |
| 35468 | T | * | T |
| 35469 | T | * | T |
| 35470 | T | * | T |
| 35471 | T | * | T |
| 35472 | F | F | F |
| 41024 | T | * | T |
| 41025 | T | * | T |
| 41026 | T | * | T |
| 41027 | F | T | T |
| 41028 | T | * | T |
| 41029 | T | * | T |
| 41030 | F | T | T |
| 41031 | T | * | T |
| 41032 | T | * | T |
| 41033 | T | * | T |
| 41034 | T | * | T |
| 41035 | T | * | T |
| 41036 | T | * | T |
| 41037 | F | F | F |
| 44037 | T | * | T |
| 44038 | T | * | T |
| 44039 | T | * | T |
| 44040 | F | T | T |
| 44041 | T | * | T |
| 44042 | T | * | T |
| 44043 | F | T | T |
| 44044 | T | * | T |
| 44045 | T | * | T |
| 44046 | T | * | T |
| 44047 | T | * | T |
| 44048 | T | * | T |
| 44049 | T | * | T |
| 44050 | F | F | F |
| 47489 | T | * | T |
| 47490 | T | * | T |
| 47491 | T | * | T |
| 47492 | F | T | T |
| 47493 | T | * | T |
| 47494 | T | * | T |
| 47495 | F | T | T |
| 47496 | T | * | T |
| 47497 | T | * | T |
| 47498 | T | * | T |
| 47499 | T | * | T |
| 47500 | T | * | T |
| 47501 | T | * | T |
| 47502 | F | F | F |
| 50564 | T | * | T |
| 50565 | T | * | T |
| 50566 | T | * | T |
| 50567 | F | T | T |
| 50568 | T | * | T |
| 50569 | T | * | T |
| 50570 | F | T | T |
| 50571 | T | * | T |
| 50572 | T | * | T |
| 50573 | T | * | T |
| 50574 | T | * | T |
| 50575 | T | * | T |
| 50576 | T | * | T |
| 50577 | F | F | F |
| 53788 | T | * | T |
| 53789 | T | * | T |
| 53790 | T | * | T |
| 53791 | T | * | T |
| 53792 | T | * | T |
| 53793 | T | * | T |
| 53794 | T | * | T |
| 53795 | T | * | T |
| 53796 | T | * | T |
| 53797 | T | * | T |
| 53798 | T | * | T |
| 53799 | T | * | T |
| 53800 | T | * | T |
| 53801 | T | * | T |
| 53802 | T | * | T |
| 53803 | F | F | F |
| 63560 | T | * | T |
| 63561 | T | * | T |
| 63562 | T | * | T |
| 63563 | T | * | T |
| 63564 | T | * | T |
| 63565 | T | * | T |
| 63566 | T | * | T |
| 63567 | T | * | T |
| 63568 | T | * | T |
| 63569 | T | * | T |
| 63570 | T | * | T |
| 63571 | T | * | T |
| 63572 | T | * | T |
| 63573 | T | * | T |
| 63574 | T | * | T |
| 63575 | F | F | F |
| 73404 | T | * | T |
| 73405 | T | * | T |
| 73406 | T | * | T |
| 73407 | F | T | T |
| 73408 | T | * | T |
| 73409 | T | * | T |
| 73410 | T | * | T |
| 73411 | F | T | T |
| 73412 | T | * | T |
| 73413 | T | * | T |
| 73414 | T | * | T |
| 73415 | F | T | T |
| 73416 | T | * | T |
| 73417 | T | * | T |
| 73418 | T | * | T |
| 73419 | F | T | T |
| 73420 | T | * | T |
| 73421 | T | * | T |
| 73422 | T | * | T |
| 73423 | F | T | T |
| 73424 | T | * | T |
| 73425 | T | * | T |
| 73426 | T | * | T |
| 73427 | F | F | F |
| 76879 | T | * | T |
| 76880 | T | * | T |
| 76881 | T | * | T |
| 76882 | F | T | T |
| 76883 | T | * | T |
| 76884 | T | * | T |
| 76885 | T | * | T |
| 76886 | F | T | T |
| 76887 | T | * | T |
| 76888 | T | * | T |
| 76889 | T | * | T |
| 76890 | F | T | T |
| 76891 | T | * | T |
| 76892 | T | * | T |
| 76893 | T | * | T |
| 76894 | F | T | T |
| 76895 | T | * | T |
| 76896 | T | * | T |
| 76897 | T | * | T |
| 76898 | F | T | T |
| 76899 | T | * | T |
| 76900 | T | * | T |
| 76901 | T | * | T |
| 76902 | F | F | F |
| 79497 | T | * | T |
| 79498 | F | T | T |
| 79499 | T | * | T |
| 79500 | F | T | T |
| 79501 | T | * | T |
| 79502 | F | F | F |
| 80954 | T | * | T |
| 80955 | T | * | T |
| 80956 | T | * | T |
| 80957 | T | * | T |
| 80958 | F | F | F |
| 82141 | T | * | T |
| 82142 | T | * | T |
| 82143 | T | * | T |
| 82144 | T | * | T |
| 82145 | F | F | F |
| 83203 | T | * | T |
| 83204 | T | * | T |
| 83205 | T | * | T |
| 83206 | T | * | T |
| 83207 | F | F | F |
| 84426 | T | * | T |
| 84427 | T | * | T |
| 84428 | T | * | T |
| 84429 | T | * | T |
| 84430 | T | * | T |
| 84431 | T | * | T |
| 84432 | T | * | T |
| 84433 | T | * | T |
| 84434 | T | * | T |
| 84435 | F | F | F |
| 86171 | T | * | T |
| 86172 | T | * | T |
| 86173 | T | * | T |
| 86174 | T | * | T |
| 86175 | T | * | T |
| 86176 | T | * | T |
| 86177 | T | * | T |
| 86178 | T | * | T |
| 86179 | T | * | T |
| 86180 | F | T | T |
| 86181 | T | * | T |
| 86182 | T | * | T |
| 86183 | T | * | T |
| 86184 | T | * | T |
| 86185 | T | * | T |
| 86186 | T | * | T |
| 86187 | T | * | T |
| 86188 | T | * | T |
| 86189 | T | * | T |
| 86190 | F | T | T |
| 86191 | T | * | T |
| 86192 | T | * | T |
| 86193 | T | * | T |
| 86194 | T | * | T |
| 86195 | T | * | T |
| 86196 | T | * | T |
| 86197 | T | * | T |
| 86198 | T | * | T |
| 86199 | T | * | T |
| 86200 | F | F | F |
| 87772 | T | * | T |
| 87773 | T | * | T |
| 87774 | T | * | T |
| 87775 | T | * | T |
| 87776 | T | * | T |
| 87777 | F | F | F |
| 89478 | T | * | T |
| 89479 | T | * | T |
| 89480 | T | * | T |
| 89481 | T | * | T |
| 89482 | T | * | T |
| 89483 | T | * | T |
| 89484 | T | * | T |
| 89485 | T | * | T |
| 89486 | T | * | T |
| 89487 | T | * | T |
| 89488 | T | * | T |
| 89489 | T | * | T |
| 89490 | T | * | T |
| 89491 | T | * | T |
| 89492 | T | * | T |
| 89493 | T | * | T |
| 89494 | F | T | T |
| 89495 | T | * | T |
| 89496 | T | * | T |
| 89497 | T | * | T |
| 89498 | T | * | T |
| 89499 | T | * | T |
| 89500 | T | * | T |
| 89501 | T | * | T |
| 89502 | T | * | T |
| 89503 | T | * | T |
| 89504 | T | * | T |
| 89505 | T | * | T |
| 89506 | T | * | T |
| 89507 | T | * | T |
| 89508 | T | * | T |
| 89509 | T | * | T |
| 89510 | T | * | T |
| 89511 | F | F | F |
| 91120 | T | * | T |
| 91121 | T | * | T |
| 91122 | T | * | T |
| 91123 | T | * | T |
| 91124 | T | * | T |
| 91125 | T | * | T |
| 91126 | T | * | T |
| 91127 | T | * | T |
| 91128 | T | * | T |
| 91129 | T | * | T |
| 91130 | T | * | T |
| 91131 | T | * | T |
| 91132 | T | * | T |
| 91133 | T | * | T |
| 91134 | T | * | T |
| 91135 | T | * | T |
| 91136 | T | * | T |
| 91137 | T | * | T |
| 91138 | T | * | T |
| 91139 | F | F | F |
| 93734 | T | * | T |
| 93735 | T | * | T |
| 93736 | T | * | T |
| 93737 | T | * | T |
| 93738 | T | * | T |
| 93739 | T | * | T |
| 93740 | T | * | T |
| 93741 | T | * | T |
| 93742 | T | * | T |
| 93743 | T | * | T |
| 93744 | T | * | T |
| 93745 | T | * | T |
| 93746 | T | * | T |
| 93747 | T | * | T |
| 93748 | T | * | T |
| 93749 | T | * | T |
| 93750 | F | F | F |
| 112597 | T | * | T |
| 112598 | T | * | T |
| 112599 | T | * | T |
| 112600 | T | * | T |
| 112601 | T | * | T |
| 112602 | T | * | T |
| 112603 | T | * | T |
| 112604 | T | * | T |
| 112605 | T | * | T |
| 112606 | T | * | T |
| 112607 | T | * | T |
| 112608 | T | * | T |
| 112609 | T | * | T |
| 112610 | T | * | T |
| 112611 | T | * | T |
| 112612 | T | * | T |
| 112613 | F | F | F |
| 130162 | T | * | T |
| 130163 | T | * | T |
| 130164 | T | * | T |
| 130165 | F | F | F |
| 131337 | T | * | T |
| 131338 | T | * | T |
| 131339 | T | * | T |
| 131340 | F | F | F |
| 132664 | T | * | T |
| 132665 | T | * | T |
| 132666 | T | * | T |
| 132667 | F | F | F |
Independent-effect pairs
c0(branch2455): PROVED — pair rows1011,1022(masking)<alloc::vec::Vec<T,A> as core::ops::drop::Drop>::drop· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:490 ← library/core/src/slice/sort/shared/smallsort.rs:415c1(branch2456): PROVED — pair rows1012,1022(unique-cause)<alloc::vec::Vec<T,A> as core::ops::drop::Drop>::drop· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:491 ← library/core/src/slice/sort/shared/smallsort.rs:415