Decision #555 — library/alloc/src/vec/spec_from_iter.rs:33
Status: full_mcdc
Truth table
| row | c0 br 3795 | c1 br 3796 | outcome |
|---|---|---|---|
| 929 | T | * | T |
| 930 | T | * | T |
| 931 | F | T | T |
| 932 | T | * | T |
| 933 | T | * | T |
| 934 | F | T | T |
| 935 | T | * | T |
| 936 | T | * | T |
| 937 | F | T | T |
| 938 | T | * | T |
| 939 | T | * | T |
| 940 | T | * | T |
| 941 | F | T | T |
| 942 | T | * | T |
| 943 | T | * | T |
| 944 | T | * | T |
| 945 | F | F | F |
| 4722 | T | * | T |
| 4723 | T | * | T |
| 4724 | F | T | T |
| 4725 | T | * | T |
| 4726 | T | * | T |
| 4727 | F | T | T |
| 4728 | T | * | T |
| 4729 | T | * | T |
| 4730 | F | T | T |
| 4731 | T | * | T |
| 4732 | T | * | T |
| 4733 | T | * | T |
| 4734 | F | T | T |
| 4735 | T | * | T |
| 4736 | T | * | T |
| 4737 | T | * | T |
| 4738 | F | F | F |
| 8453 | T | * | T |
| 8454 | T | * | T |
| 8455 | F | T | T |
| 8456 | T | * | T |
| 8457 | T | * | T |
| 8458 | F | T | T |
| 8459 | T | * | T |
| 8460 | T | * | T |
| 8461 | F | T | T |
| 8462 | T | * | T |
| 8463 | T | * | T |
| 8464 | T | * | T |
| 8465 | F | T | T |
| 8466 | T | * | T |
| 8467 | T | * | T |
| 8468 | T | * | T |
| 8469 | F | F | F |
| 11952 | T | * | T |
| 11953 | T | * | T |
| 11954 | T | * | T |
| 11955 | T | * | T |
| 11956 | T | * | T |
| 11957 | T | * | T |
| 11958 | F | F | F |
| 13328 | T | * | T |
| 13329 | T | * | T |
| 13330 | T | * | T |
| 13331 | T | * | T |
| 13332 | T | * | T |
| 13333 | T | * | T |
| 13334 | F | F | F |
| 14653 | T | * | T |
| 14654 | T | * | T |
| 14655 | T | * | T |
| 14656 | T | * | T |
| 14657 | T | * | T |
| 14658 | T | * | T |
| 14659 | F | F | F |
| 16559 | T | * | T |
| 16560 | T | * | T |
| 16561 | T | * | T |
| 16562 | T | * | T |
| 16563 | T | * | T |
| 16564 | T | * | T |
| 16565 | T | * | T |
| 16566 | F | F | F |
| 26039 | T | * | T |
| 26040 | T | * | T |
| 26041 | T | * | T |
| 26042 | T | * | T |
| 26043 | T | * | T |
| 26044 | T | * | T |
| 26045 | T | * | T |
| 26046 | F | F | F |
| 35663 | T | * | T |
| 35664 | T | * | T |
| 35665 | T | * | T |
| 35666 | T | * | T |
| 35667 | T | * | T |
| 35668 | T | * | T |
| 35669 | T | * | T |
| 35670 | F | F | F |
| 41876 | T | * | T |
| 41877 | T | * | T |
| 41878 | T | * | T |
| 41879 | T | * | T |
| 41880 | T | * | T |
| 41881 | T | * | T |
| 41882 | T | * | T |
| 41883 | F | F | F |
| 47979 | T | * | T |
| 47980 | T | * | T |
| 47981 | T | * | T |
| 47982 | T | * | T |
| 47983 | F | T | T |
| 47984 | T | * | T |
| 47985 | T | * | T |
| 47986 | T | * | T |
| 47987 | F | T | T |
| 47988 | T | * | T |
| 47989 | T | * | T |
| 47990 | T | * | T |
| 47991 | T | * | T |
| 47992 | T | * | T |
| 47993 | T | * | T |
| 47994 | T | * | T |
| 47995 | F | F | F |
| 52148 | T | * | T |
| 52149 | T | * | T |
| 52150 | T | * | T |
| 52151 | T | * | T |
| 52152 | F | T | T |
| 52153 | T | * | T |
| 52154 | T | * | T |
| 52155 | T | * | T |
| 52156 | F | T | T |
| 52157 | T | * | T |
| 52158 | T | * | T |
| 52159 | T | * | T |
| 52160 | T | * | T |
| 52161 | T | * | T |
| 52162 | T | * | T |
| 52163 | T | * | T |
| 52164 | F | F | F |
| 56686 | T | * | T |
| 56687 | T | * | T |
| 56688 | T | * | T |
| 56689 | T | * | T |
| 56690 | F | T | T |
| 56691 | T | * | T |
| 56692 | T | * | T |
| 56693 | T | * | T |
| 56694 | F | T | T |
| 56695 | T | * | T |
| 56696 | T | * | T |
| 56697 | T | * | T |
| 56698 | T | * | T |
| 56699 | T | * | T |
| 56700 | T | * | T |
| 56701 | T | * | T |
| 56702 | F | F | F |
| 60903 | T | * | T |
| 60904 | T | * | T |
| 60905 | T | * | T |
| 60906 | T | * | T |
| 60907 | F | T | T |
| 60908 | T | * | T |
| 60909 | T | * | T |
| 60910 | T | * | T |
| 60911 | F | T | T |
| 60912 | T | * | T |
| 60913 | T | * | T |
| 60914 | T | * | T |
| 60915 | T | * | T |
| 60916 | T | * | T |
| 60917 | T | * | T |
| 60918 | T | * | T |
| 60919 | F | F | F |
| 65155 | T | * | T |
| 65156 | T | * | T |
| 65157 | T | * | T |
| 65158 | T | * | T |
| 65159 | T | * | T |
| 65160 | T | * | T |
| 65161 | T | * | T |
| 65162 | F | F | F |
| 76668 | T | * | T |
| 76669 | T | * | T |
| 76670 | T | * | T |
| 76671 | T | * | T |
| 76672 | T | * | T |
| 76673 | T | * | T |
| 76674 | T | * | T |
| 76675 | F | F | F |
| 88363 | T | * | T |
| 88364 | T | * | T |
| 88365 | T | * | T |
| 88366 | T | * | T |
| 88367 | F | T | T |
| 88368 | T | * | T |
| 88369 | T | * | T |
| 88370 | T | * | T |
| 88371 | T | * | T |
| 88372 | F | T | T |
| 88373 | T | * | T |
| 88374 | T | * | T |
| 88375 | T | * | T |
| 88376 | T | * | T |
| 88377 | F | T | T |
| 88378 | T | * | T |
| 88379 | T | * | T |
| 88380 | T | * | T |
| 88381 | T | * | T |
| 88382 | F | T | T |
| 88383 | T | * | T |
| 88384 | T | * | T |
| 88385 | T | * | T |
| 88386 | T | * | T |
| 88387 | F | T | T |
| 88388 | T | * | T |
| 88389 | T | * | T |
| 88390 | T | * | T |
| 88391 | T | * | T |
| 88392 | F | F | F |
| 92631 | T | * | T |
| 92632 | T | * | T |
| 92633 | T | * | T |
| 92634 | T | * | T |
| 92635 | F | T | T |
| 92636 | T | * | T |
| 92637 | T | * | T |
| 92638 | T | * | T |
| 92639 | T | * | T |
| 92640 | F | T | T |
| 92641 | T | * | T |
| 92642 | T | * | T |
| 92643 | T | * | T |
| 92644 | T | * | T |
| 92645 | F | T | T |
| 92646 | T | * | T |
| 92647 | T | * | T |
| 92648 | T | * | T |
| 92649 | T | * | T |
| 92650 | F | T | T |
| 92651 | T | * | T |
| 92652 | T | * | T |
| 92653 | T | * | T |
| 92654 | T | * | T |
| 92655 | F | T | T |
| 92656 | T | * | T |
| 92657 | T | * | T |
| 92658 | T | * | T |
| 92659 | T | * | T |
| 92660 | F | F | F |
| 96132 | T | * | T |
| 96133 | T | * | T |
| 96134 | F | T | T |
| 96135 | T | * | T |
| 96136 | T | * | T |
| 96137 | F | T | T |
| 96138 | T | * | T |
| 96139 | T | * | T |
| 96140 | F | F | F |
| 98015 | T | * | T |
| 98016 | T | * | T |
| 98017 | T | * | T |
| 98018 | T | * | T |
| 98019 | T | * | T |
| 98020 | F | F | F |
| 99532 | T | * | T |
| 99533 | T | * | T |
| 99534 | T | * | T |
| 99535 | T | * | T |
| 99536 | T | * | T |
| 99537 | F | F | F |
| 100948 | T | * | T |
| 100949 | T | * | T |
| 100950 | T | * | T |
| 100951 | T | * | T |
| 100952 | T | * | T |
| 100953 | F | F | F |
| 102655 | T | * | T |
| 102656 | T | * | T |
| 102657 | T | * | T |
| 102658 | T | * | T |
| 102659 | T | * | T |
| 102660 | T | * | T |
| 102661 | T | * | T |
| 102662 | F | F | F |
| 105885 | T | * | T |
| 105886 | T | * | T |
| 105887 | T | * | T |
| 105888 | T | * | T |
| 105889 | T | * | T |
| 105890 | T | * | T |
| 105891 | T | * | T |
| 105892 | F | T | T |
| 105893 | T | * | T |
| 105894 | T | * | T |
| 105895 | T | * | T |
| 105896 | T | * | T |
| 105897 | T | * | T |
| 105898 | T | * | T |
| 105899 | T | * | T |
| 105900 | F | T | T |
| 105901 | T | * | T |
| 105902 | T | * | T |
| 105903 | T | * | T |
| 105904 | T | * | T |
| 105905 | T | * | T |
| 105906 | T | * | T |
| 105907 | T | * | T |
| 105908 | F | F | F |
| 109012 | T | * | T |
| 109013 | T | * | T |
| 109014 | T | * | T |
| 109015 | T | * | T |
| 109016 | T | * | T |
| 109017 | T | * | T |
| 109018 | F | F | F |
| 111672 | T | * | T |
| 111673 | T | * | T |
| 111674 | T | * | T |
| 111675 | T | * | T |
| 111676 | T | * | T |
| 111677 | T | * | T |
| 111678 | T | * | T |
| 111679 | F | T | T |
| 111680 | T | * | T |
| 111681 | T | * | T |
| 111682 | T | * | T |
| 111683 | T | * | T |
| 111684 | T | * | T |
| 111685 | T | * | T |
| 111686 | T | * | T |
| 111687 | F | F | F |
| 114578 | T | * | T |
| 114579 | T | * | T |
| 114580 | T | * | T |
| 114581 | T | * | T |
| 114582 | T | * | T |
| 114583 | T | * | T |
| 114584 | T | * | T |
| 114585 | F | F | F |
| 118617 | T | * | T |
| 118618 | T | * | T |
| 118619 | T | * | T |
| 118620 | T | * | T |
| 118621 | T | * | T |
| 118622 | T | * | T |
| 118623 | T | * | T |
| 118624 | F | F | F |
| 141553 | T | * | T |
| 141554 | T | * | T |
| 141555 | T | * | T |
| 141556 | T | * | T |
| 141557 | T | * | T |
| 141558 | T | * | T |
| 141559 | T | * | T |
| 141560 | F | F | F |
| 163240 | T | * | T |
| 163241 | T | * | T |
| 163242 | T | * | T |
| 163243 | T | * | T |
| 163244 | F | F | F |
| 164811 | T | * | T |
| 164812 | T | * | T |
| 164813 | T | * | T |
| 164814 | T | * | T |
| 164815 | F | F | F |
| 166533 | T | * | T |
| 166534 | T | * | T |
| 166535 | T | * | T |
| 166536 | T | * | T |
| 166537 | F | F | F |
Independent-effect pairs
c0(branch3795): PROVED — pair rows929,945(masking)scry_analyze_core::analyze· br_if
inlined: lib.rs:2169 ← library/core/src/option.rs:1064 ← library/core/src/ops/function.rs:250 ← lib.rs:2149 ← library/core/src/iter/traits/iterator.rs:2090 ← library/alloc/src/vec/mod.rs:3926c1(branch3796): PROVED — pair rows931,945(unique-cause)scry_analyze_core::analyze· br_if