Decision #731 — library/core/src/ptr/mod.rs:551
Status: full_mcdc
Truth table
| row | c0 br 4981 | c1 br 4989 | outcome |
|---|---|---|---|
| 36536 | * | T | T |
| 36537 | * | T | T |
| 36538 | * | T | T |
| 36539 | * | T | T |
| 36540 | * | T | T |
| 36541 | * | T | T |
| 42749 | * | T | T |
| 42750 | * | T | T |
| 42751 | * | T | T |
| 42752 | * | T | T |
| 42753 | * | T | T |
| 42754 | * | T | T |
| 119781 | * | T | T |
| 119782 | * | T | T |
| 119783 | * | T | T |
| 119784 | * | T | T |
| 119785 | * | T | T |
| 119786 | * | T | T |
| 119787 | T | F | F |
| 119788 | T | * | T |
| 119789 | T | * | T |
| 119790 | F | T | T |
| 119791 | * | T | T |
| 119792 | * | T | T |
| 119793 | * | T | T |
| 119794 | * | T | T |
| 119795 | * | T | T |
| 119796 | T | F | F |
| 119797 | T | * | T |
| 119798 | T | * | T |
| 119799 | F | * | F |
| 142717 | * | T | T |
| 142718 | * | T | T |
| 142719 | * | T | T |
| 142720 | * | T | T |
| 142721 | * | T | T |
| 142722 | * | T | T |
| 142723 | T | F | F |
| 142724 | T | * | T |
| 142725 | T | * | T |
| 142726 | F | T | T |
| 142727 | * | T | T |
| 142728 | * | T | T |
| 142729 | * | T | T |
| 142730 | * | T | T |
| 142731 | * | T | T |
| 142732 | T | F | F |
| 142733 | T | * | T |
| 142734 | T | * | T |
| 142735 | F | * | F |
Independent-effect pairs
c0(branch4981): PROVED — pair rows119788,119799(masking)scry_interval::widen_with_thresholds· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252c1(branch4989): PROVED — pair rows36536,119787(masking)scry_interval::widen_with_thresholds· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252