Decision #350 — library/alloc/src/raw_vec/mod.rs:424
Status: partial
Truth table
| row | c0 br 1922 | c1 br 1934 | outcome |
|---|---|---|---|
| 368 | F | * | F |
| 369 | F | * | F |
| 4162 | F | * | F |
| 4163 | F | * | F |
| 7845 | F | * | F |
| 7846 | F | * | F |
| 16185 | F | * | F |
| 16186 | F | * | F |
| 16187 | F | * | F |
| 16188 | F | * | F |
| 16189 | F | * | F |
| 16190 | F | F | F |
| 16191 | T | * | T |
| 16192 | F | * | F |
| 16193 | F | * | F |
| 16194 | F | * | F |
| 16195 | F | * | F |
| 16196 | F | * | F |
| 16197 | F | F | F |
| 16198 | T | * | T |
| 25665 | F | * | F |
| 25666 | F | * | F |
| 25667 | F | * | F |
| 25668 | F | * | F |
| 25669 | F | * | F |
| 25670 | F | F | F |
| 25671 | T | * | T |
| 25672 | F | * | F |
| 25673 | F | * | F |
| 25674 | F | * | F |
| 25675 | F | * | F |
| 25676 | F | * | F |
| 25677 | F | F | F |
| 25678 | T | * | T |
| 35084 | F | * | F |
| 35085 | F | * | F |
| 35086 | F | * | F |
| 35087 | F | * | F |
| 35088 | F | * | F |
| 35089 | F | * | F |
| 35090 | F | * | F |
| 35091 | F | * | F |
| 35092 | F | * | F |
| 35093 | F | * | F |
| 35094 | F | * | F |
| 35095 | F | * | F |
| 35096 | F | * | F |
| 35097 | F | F | F |
| 35098 | T | * | T |
| 35099 | F | * | F |
| 35100 | F | * | F |
| 35101 | F | * | F |
| 35102 | F | * | F |
| 35103 | F | * | F |
| 35104 | F | * | F |
| 35105 | F | * | F |
| 35106 | F | * | F |
| 35107 | F | * | F |
| 35108 | F | * | F |
| 35109 | F | * | F |
| 35110 | F | * | F |
| 35111 | F | * | F |
| 35112 | F | F | F |
| 35113 | T | * | T |
| 41297 | F | * | F |
| 41298 | F | * | F |
| 41299 | F | * | F |
| 41300 | F | * | F |
| 41301 | F | * | F |
| 41302 | F | * | F |
| 41303 | F | * | F |
| 41304 | F | * | F |
| 41305 | F | * | F |
| 41306 | F | * | F |
| 41307 | F | * | F |
| 41308 | F | * | F |
| 41309 | F | * | F |
| 41310 | F | F | F |
| 41311 | T | * | T |
| 41312 | F | * | F |
| 41313 | F | * | F |
| 41314 | F | * | F |
| 41315 | F | * | F |
| 41316 | F | * | F |
| 41317 | F | * | F |
| 41318 | F | * | F |
| 41319 | F | * | F |
| 41320 | F | * | F |
| 41321 | F | * | F |
| 41322 | F | * | F |
| 41323 | F | * | F |
| 41324 | F | * | F |
| 41325 | F | F | F |
| 41326 | T | * | T |
| 47496 | F | * | F |
| 47497 | F | * | F |
| 47498 | F | * | F |
| 47499 | F | * | F |
| 47500 | F | * | F |
| 47501 | F | * | F |
| 47502 | F | * | F |
| 47503 | F | * | F |
| 51624 | F | * | F |
| 51625 | F | * | F |
| 51626 | F | * | F |
| 51627 | F | * | F |
| 51628 | F | * | F |
| 51629 | F | * | F |
| 51630 | F | * | F |
| 51631 | F | * | F |
| 56162 | F | * | F |
| 56163 | F | * | F |
| 56164 | F | * | F |
| 56165 | F | * | F |
| 56166 | F | * | F |
| 56167 | F | * | F |
| 56168 | F | * | F |
| 56169 | F | * | F |
| 60420 | F | * | F |
| 60421 | F | * | F |
| 60422 | F | * | F |
| 60423 | F | * | F |
| 60424 | F | * | F |
| 60425 | F | * | F |
| 60426 | F | * | F |
| 60427 | F | * | F |
| 64652 | F | * | F |
| 64653 | F | * | F |
| 64654 | F | * | F |
| 64655 | F | * | F |
| 64656 | F | * | F |
| 64657 | F | * | F |
| 64658 | F | * | F |
| 64659 | F | F | F |
| 64660 | T | * | T |
| 64661 | F | * | F |
| 64662 | F | * | F |
| 64663 | F | * | F |
| 64664 | F | * | F |
| 64665 | F | * | F |
| 64666 | F | * | F |
| 64667 | F | * | F |
| 64668 | F | F | F |
| 64669 | T | * | T |
| 76165 | F | * | F |
| 76166 | F | * | F |
| 76167 | F | * | F |
| 76168 | F | * | F |
| 76169 | F | * | F |
| 76170 | F | * | F |
| 76171 | F | * | F |
| 76172 | F | F | F |
| 76173 | T | * | T |
| 76174 | F | * | F |
| 76175 | F | * | F |
| 76176 | F | * | F |
| 76177 | F | * | F |
| 76178 | F | * | F |
| 76179 | F | * | F |
| 76180 | F | * | F |
| 76181 | F | F | F |
| 76182 | T | * | T |
| 102418 | F | * | F |
| 102419 | F | * | F |
| 108837 | F | * | F |
| 108838 | F | * | F |
| 114248 | F | * | F |
| 114249 | F | F | F |
| 114250 | F | * | F |
| 114251 | F | F | F |
| 117777 | F | * | F |
| 117778 | F | * | F |
| 117779 | F | * | F |
| 117780 | F | * | F |
| 117781 | F | * | F |
| 117782 | F | * | F |
| 117783 | F | * | F |
| 117784 | F | * | F |
| 117785 | F | * | F |
| 117786 | F | * | F |
| 117787 | F | * | F |
| 117788 | F | * | F |
| 117789 | F | * | F |
| 117790 | F | * | F |
| 117791 | F | * | F |
| 117792 | F | * | F |
| 117793 | F | * | F |
| 117794 | F | * | F |
| 117795 | F | * | F |
| 117796 | F | F | F |
| 117797 | T | * | T |
| 117798 | F | * | F |
| 117799 | F | * | F |
| 117800 | F | * | F |
| 117801 | F | * | F |
| 117802 | F | * | F |
| 117803 | F | * | F |
| 117804 | F | * | F |
| 117805 | F | * | F |
| 117806 | F | * | F |
| 117807 | F | * | F |
| 117808 | F | * | F |
| 117809 | F | * | F |
| 117810 | F | * | F |
| 117811 | F | * | F |
| 117812 | F | * | F |
| 117813 | F | * | F |
| 117814 | F | * | F |
| 117815 | F | * | F |
| 117816 | F | * | F |
| 117817 | F | F | F |
| 117818 | T | * | T |
| 140713 | F | * | F |
| 140714 | F | * | F |
| 140715 | F | * | F |
| 140716 | F | * | F |
| 140717 | F | * | F |
| 140718 | F | * | F |
| 140719 | F | * | F |
| 140720 | F | * | F |
| 140721 | F | * | F |
| 140722 | F | * | F |
| 140723 | F | * | F |
| 140724 | F | * | F |
| 140725 | F | * | F |
| 140726 | F | * | F |
| 140727 | F | * | F |
| 140728 | F | * | F |
| 140729 | F | * | F |
| 140730 | F | * | F |
| 140731 | F | * | F |
| 140732 | F | F | F |
| 140733 | T | * | T |
| 140734 | F | * | F |
| 140735 | F | * | F |
| 140736 | F | * | F |
| 140737 | F | * | F |
| 140738 | F | * | F |
| 140739 | F | * | F |
| 140740 | F | * | F |
| 140741 | F | * | F |
| 140742 | F | * | F |
| 140743 | F | * | F |
| 140744 | F | * | F |
| 140745 | F | * | F |
| 140746 | F | * | F |
| 140747 | F | * | F |
| 140748 | F | * | F |
| 140749 | F | * | F |
| 140750 | F | * | F |
| 140751 | F | * | F |
| 140752 | F | * | F |
| 140753 | F | F | F |
| 140754 | T | * | T |
| 163103 | F | * | F |
| 163104 | F | * | F |
| 164658 | F | * | F |
| 164659 | F | * | F |
| 166380 | F | * | F |
| 166381 | F | * | F |
Independent-effect pairs
c0(branch1922): PROVED — pair rows368,16191(masking)<scry_analyze_core::Interp>::seq· br_ifc1(branch1934): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:4298 ← lib.rs:1228 ← library/core/src/iter/traits/iterator.rs:2090 ← library/alloc/src/vec/mod.rs:3926 ← library/alloc/src/vec/in_place_collect.rs:245 ← library/alloc/src/vec/in_place_collect.rs:299 ← library/alloc/src/vec/into_iter.rs:150 ← library/core/src/ptr/mod.rs:825