Decision #681 — library/core/src/ptr/mod.rs:551
Status: full_mcdc
Truth table
| row | c0 br 4741 | c1 br 4742 | outcome |
|---|---|---|---|
| 1649 | T | * | T |
| 1650 | T | * | T |
| 1651 | T | * | T |
| 1652 | T | * | T |
| 1653 | T | * | T |
| 1654 | T | * | T |
| 1655 | T | * | T |
| 1656 | T | * | T |
| 5440 | T | * | T |
| 5441 | T | * | T |
| 5442 | T | * | T |
| 5443 | T | * | T |
| 5444 | T | * | T |
| 5445 | T | * | T |
| 5446 | T | * | T |
| 5447 | T | * | T |
| 9221 | T | * | T |
| 9222 | T | * | T |
| 9223 | T | * | T |
| 9224 | T | * | T |
| 9225 | T | * | T |
| 9226 | T | * | T |
| 9227 | T | * | T |
| 9228 | T | * | T |
| 12260 | T | * | T |
| 12261 | T | * | T |
| 12262 | T | * | T |
| 12263 | T | * | T |
| 12264 | T | * | T |
| 12265 | T | * | T |
| 13634 | T | * | T |
| 13635 | T | * | T |
| 13636 | T | * | T |
| 13637 | T | * | T |
| 13638 | T | * | T |
| 13639 | T | * | T |
| 14961 | T | * | T |
| 14962 | T | * | T |
| 14963 | T | * | T |
| 14964 | T | * | T |
| 14965 | T | * | T |
| 14966 | T | * | T |
| 17213 | T | * | T |
| 17214 | T | * | T |
| 17215 | T | * | T |
| 17216 | T | * | T |
| 26691 | T | * | T |
| 26692 | T | * | T |
| 26693 | T | * | T |
| 26694 | T | * | T |
| 36498 | T | * | T |
| 36499 | T | * | T |
| 36500 | T | * | T |
| 36501 | T | * | T |
| 42711 | T | * | T |
| 42712 | T | * | T |
| 42713 | T | * | T |
| 42714 | T | * | T |
| 48661 | T | * | T |
| 48662 | T | * | T |
| 48663 | T | * | T |
| 48664 | T | * | T |
| 48665 | T | * | T |
| 48666 | T | * | T |
| 48667 | T | * | T |
| 48668 | T | * | T |
| 52862 | T | * | T |
| 52863 | T | * | T |
| 52864 | T | * | T |
| 52865 | T | * | T |
| 52866 | T | * | T |
| 52867 | T | * | T |
| 52868 | T | * | T |
| 52869 | T | * | T |
| 57392 | T | * | T |
| 57393 | T | * | T |
| 57394 | T | * | T |
| 57395 | T | * | T |
| 57396 | T | * | T |
| 57397 | T | * | T |
| 57398 | T | * | T |
| 57399 | T | * | T |
| 61585 | T | * | T |
| 61586 | T | * | T |
| 61587 | T | * | T |
| 61588 | T | * | T |
| 61589 | T | * | T |
| 61590 | T | * | T |
| 61591 | T | * | T |
| 61592 | T | * | T |
| 65869 | T | * | T |
| 65870 | T | * | T |
| 65871 | T | * | T |
| 65872 | T | * | T |
| 77382 | T | * | T |
| 77383 | T | * | T |
| 77384 | T | * | T |
| 77385 | T | * | T |
| 89316 | T | * | T |
| 89317 | F | F | F |
| 89318 | F | T | T |
| 89319 | T | * | T |
| 89320 | T | * | T |
| 89321 | T | * | T |
| 89322 | T | * | T |
| 89323 | T | * | T |
| 89324 | F | F | F |
| 89325 | T | * | T |
| 89326 | T | * | T |
| 89327 | T | * | T |
| 89328 | F | F | F |
| 89329 | F | T | T |
| 89330 | T | * | T |
| 89331 | T | * | T |
| 89332 | T | * | T |
| 89333 | T | * | T |
| 89334 | T | * | T |
| 89335 | F | F | F |
| 89336 | T | * | T |
| 89337 | T | * | T |
| 93584 | T | * | T |
| 93585 | F | F | F |
| 93586 | F | T | T |
| 93587 | T | * | T |
| 93588 | T | * | T |
| 93589 | T | * | T |
| 93590 | T | * | T |
| 93591 | T | * | T |
| 93592 | F | F | F |
| 93593 | T | * | T |
| 93594 | T | * | T |
| 93595 | T | * | T |
| 93596 | F | F | F |
| 93597 | F | T | T |
| 93598 | T | * | T |
| 93599 | T | * | T |
| 93600 | T | * | T |
| 93601 | T | * | T |
| 93602 | T | * | T |
| 93603 | F | F | F |
| 93604 | T | * | T |
| 93605 | T | * | T |
| 98314 | T | * | T |
| 98315 | T | * | T |
| 98316 | T | * | T |
| 98317 | T | * | T |
| 99829 | T | * | T |
| 99830 | T | * | T |
| 99831 | T | * | T |
| 99832 | T | * | T |
| 101247 | T | * | T |
| 101248 | T | * | T |
| 101249 | T | * | T |
| 101250 | T | * | T |
| 103045 | F | T | T |
| 103046 | F | T | T |
| 106785 | T | * | T |
| 106786 | T | * | T |
| 106787 | F | F | F |
| 106788 | T | * | T |
| 106789 | F | F | F |
| 106790 | T | * | T |
| 106791 | F | F | F |
| 106792 | T | * | T |
| 106793 | T | * | T |
| 106794 | F | F | F |
| 106795 | T | * | T |
| 106796 | F | F | F |
| 106797 | T | * | T |
| 106798 | F | F | F |
| 109334 | F | F | F |
| 109335 | F | F | F |
| 112312 | T | * | T |
| 112313 | T | * | T |
| 112314 | F | F | F |
| 112315 | T | * | T |
| 112316 | F | F | F |
| 112317 | T | * | T |
| 112318 | T | * | T |
| 112319 | F | F | F |
| 112320 | T | * | T |
| 112321 | F | F | F |
| 115048 | F | T | T |
| 115049 | F | T | T |
| 119717 | T | * | T |
| 119718 | T | * | T |
| 119719 | T | * | T |
| 119720 | T | * | T |
| 142653 | T | * | T |
| 142654 | T | * | T |
| 142655 | T | * | T |
| 142656 | T | * | T |
| 163516 | T | * | T |
| 163517 | T | * | T |
| 165097 | T | * | T |
| 165098 | T | * | T |
| 166817 | T | * | T |
| 166818 | T | * | T |
Independent-effect pairs
c0(branch4741): PROVED — pair rows1649,89317(masking)<alloc::vec::Vec<i64>>::dedup_by::<<alloc::vec::Vec<i64>>::dedup::{closure#0}>· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:410c1(branch4742): PROVED — pair rows89317,89318(unique-cause)<alloc::vec::Vec<i64>>::dedup_by::<<alloc::vec::Vec<i64>>::dedup::{closure#0}>· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:492 ← library/core/src/slice/sort/shared/smallsort.rs:410