Decision #316 — library/alloc/src/vec/mod.rs:2844
Status: full_mcdc
Truth table
| row | c0 br 1882 | c1 br 1892 | outcome |
|---|---|---|---|
| 248 | T | * | T |
| 249 | F | * | F |
| 250 | T | * | T |
| 251 | F | * | F |
| 252 | T | * | T |
| 253 | F | * | F |
| 254 | T | * | T |
| 255 | T | * | T |
| 256 | F | * | F |
| 257 | T | * | T |
| 258 | T | * | T |
| 259 | F | * | F |
| 260 | T | * | T |
| 261 | F | F | F |
| 262 | T | * | T |
| 263 | F | T | T |
| 264 | T | * | T |
| 265 | F | F | F |
| 266 | T | * | T |
| 267 | T | * | T |
| 268 | F | F | F |
| 269 | T | * | T |
| 270 | T | * | T |
| 271 | F | T | T |
| 4042 | T | * | T |
| 4043 | F | * | F |
| 4044 | T | * | T |
| 4045 | F | * | F |
| 4046 | T | * | T |
| 4047 | F | * | F |
| 4048 | T | * | T |
| 4049 | T | * | T |
| 4050 | F | * | F |
| 4051 | T | * | T |
| 4052 | T | * | T |
| 4053 | F | * | F |
| 4054 | T | * | T |
| 4055 | F | F | F |
| 4056 | T | * | T |
| 4057 | F | T | T |
| 4058 | T | * | T |
| 4059 | F | F | F |
| 4060 | T | * | T |
| 4061 | T | * | T |
| 4062 | F | F | F |
| 4063 | T | * | T |
| 4064 | T | * | T |
| 4065 | F | T | T |
| 7725 | T | * | T |
| 7726 | F | * | F |
| 7727 | T | * | T |
| 7728 | F | * | F |
| 7729 | T | * | T |
| 7730 | F | * | F |
| 7731 | T | * | T |
| 7732 | T | * | T |
| 7733 | F | * | F |
| 7734 | T | * | T |
| 7735 | T | * | T |
| 7736 | F | * | F |
| 7737 | T | * | T |
| 7738 | F | F | F |
| 7739 | T | * | T |
| 7740 | F | T | T |
| 7741 | T | * | T |
| 7742 | F | F | F |
| 7743 | T | * | T |
| 7744 | T | * | T |
| 7745 | F | F | F |
| 7746 | T | * | T |
| 7747 | T | * | T |
| 7748 | F | T | T |
| 11752 | T | * | T |
| 11753 | T | * | T |
| 11754 | T | * | T |
| 11755 | T | * | T |
| 11756 | T | * | T |
| 11757 | F | * | F |
| 11758 | T | * | T |
| 11759 | T | * | T |
| 11760 | T | * | T |
| 11761 | T | * | T |
| 11762 | T | * | T |
| 11763 | F | F | F |
| 13128 | T | * | T |
| 13129 | T | * | T |
| 13130 | T | * | T |
| 13131 | T | * | T |
| 13132 | T | * | T |
| 13133 | F | * | F |
| 13134 | T | * | T |
| 13135 | T | * | T |
| 13136 | T | * | T |
| 13137 | T | * | T |
| 13138 | T | * | T |
| 13139 | F | F | F |
| 14453 | T | * | T |
| 14454 | T | * | T |
| 14455 | T | * | T |
| 14456 | T | * | T |
| 14457 | T | * | T |
| 14458 | F | * | F |
| 14459 | T | * | T |
| 14460 | T | * | T |
| 14461 | T | * | T |
| 14462 | T | * | T |
| 14463 | T | * | T |
| 14464 | F | F | F |
| 16078 | T | * | T |
| 16079 | T | * | T |
| 16080 | T | * | T |
| 16081 | T | * | T |
| 16082 | T | * | T |
| 16083 | T | * | T |
| 16084 | T | * | T |
| 16085 | F | * | F |
| 16086 | T | * | T |
| 16087 | T | * | T |
| 16088 | T | * | T |
| 16089 | T | * | T |
| 16090 | T | * | T |
| 16091 | T | * | T |
| 16092 | T | * | T |
| 16093 | F | F | F |
| 25558 | T | * | T |
| 25559 | T | * | T |
| 25560 | T | * | T |
| 25561 | T | * | T |
| 25562 | T | * | T |
| 25563 | T | * | T |
| 25564 | T | * | T |
| 25565 | F | * | F |
| 25566 | T | * | T |
| 25567 | T | * | T |
| 25568 | T | * | T |
| 25569 | T | * | T |
| 25570 | T | * | T |
| 25571 | T | * | T |
| 25572 | T | * | T |
| 25573 | F | F | F |
| 34922 | T | * | T |
| 34923 | T | * | T |
| 34924 | T | * | T |
| 34925 | T | * | T |
| 34926 | T | * | T |
| 34927 | T | * | T |
| 34928 | T | * | T |
| 34929 | F | * | F |
| 34930 | T | * | T |
| 34931 | T | * | T |
| 34932 | T | * | T |
| 34933 | T | * | T |
| 34934 | T | * | T |
| 34935 | T | * | T |
| 34936 | T | * | T |
| 34937 | F | F | F |
| 41135 | T | * | T |
| 41136 | T | * | T |
| 41137 | T | * | T |
| 41138 | T | * | T |
| 41139 | T | * | T |
| 41140 | T | * | T |
| 41141 | T | * | T |
| 41142 | F | * | F |
| 41143 | T | * | T |
| 41144 | T | * | T |
| 41145 | T | * | T |
| 41146 | T | * | T |
| 41147 | T | * | T |
| 41148 | T | * | T |
| 41149 | T | * | T |
| 41150 | F | F | F |
| 47356 | T | * | T |
| 47357 | T | * | T |
| 47358 | T | * | T |
| 47359 | F | * | F |
| 47360 | T | * | T |
| 47361 | T | * | T |
| 47362 | F | * | F |
| 47363 | T | * | T |
| 47364 | T | * | T |
| 47365 | T | * | T |
| 47366 | F | * | F |
| 47367 | T | * | T |
| 47368 | T | * | T |
| 47369 | T | * | T |
| 47370 | T | * | T |
| 47371 | T | * | T |
| 47372 | T | * | T |
| 47373 | F | * | F |
| 47374 | T | * | T |
| 47375 | T | * | T |
| 47376 | T | * | T |
| 47377 | F | F | F |
| 47378 | T | * | T |
| 47379 | T | * | T |
| 47380 | F | * | F |
| 47381 | T | * | T |
| 47382 | T | * | T |
| 47383 | T | * | T |
| 47384 | F | F | F |
| 47385 | T | * | T |
| 47386 | T | * | T |
| 47387 | T | * | T |
| 47388 | T | * | T |
| 47389 | T | * | T |
| 47390 | T | * | T |
| 47391 | F | F | F |
| 51484 | T | * | T |
| 51485 | T | * | T |
| 51486 | T | * | T |
| 51487 | F | * | F |
| 51488 | T | * | T |
| 51489 | T | * | T |
| 51490 | F | * | F |
| 51491 | T | * | T |
| 51492 | T | * | T |
| 51493 | T | * | T |
| 51494 | F | * | F |
| 51495 | T | * | T |
| 51496 | T | * | T |
| 51497 | T | * | T |
| 51498 | T | * | T |
| 51499 | T | * | T |
| 51500 | T | * | T |
| 51501 | F | * | F |
| 51502 | T | * | T |
| 51503 | T | * | T |
| 51504 | T | * | T |
| 51505 | F | F | F |
| 51506 | T | * | T |
| 51507 | T | * | T |
| 51508 | F | * | F |
| 51509 | T | * | T |
| 51510 | T | * | T |
| 51511 | T | * | T |
| 51512 | F | F | F |
| 51513 | T | * | T |
| 51514 | T | * | T |
| 51515 | T | * | T |
| 51516 | T | * | T |
| 51517 | T | * | T |
| 51518 | T | * | T |
| 51519 | F | F | F |
| 56022 | T | * | T |
| 56023 | T | * | T |
| 56024 | T | * | T |
| 56025 | F | * | F |
| 56026 | T | * | T |
| 56027 | T | * | T |
| 56028 | F | * | F |
| 56029 | T | * | T |
| 56030 | T | * | T |
| 56031 | T | * | T |
| 56032 | F | * | F |
| 56033 | T | * | T |
| 56034 | T | * | T |
| 56035 | T | * | T |
| 56036 | T | * | T |
| 56037 | T | * | T |
| 56038 | T | * | T |
| 56039 | F | * | F |
| 56040 | T | * | T |
| 56041 | T | * | T |
| 56042 | T | * | T |
| 56043 | F | F | F |
| 56044 | T | * | T |
| 56045 | T | * | T |
| 56046 | F | * | F |
| 56047 | T | * | T |
| 56048 | T | * | T |
| 56049 | T | * | T |
| 56050 | F | F | F |
| 56051 | T | * | T |
| 56052 | T | * | T |
| 56053 | T | * | T |
| 56054 | T | * | T |
| 56055 | T | * | T |
| 56056 | T | * | T |
| 56057 | F | F | F |
| 60280 | T | * | T |
| 60281 | T | * | T |
| 60282 | T | * | T |
| 60283 | F | * | F |
| 60284 | T | * | T |
| 60285 | T | * | T |
| 60286 | F | * | F |
| 60287 | T | * | T |
| 60288 | T | * | T |
| 60289 | T | * | T |
| 60290 | F | * | F |
| 60291 | T | * | T |
| 60292 | T | * | T |
| 60293 | T | * | T |
| 60294 | T | * | T |
| 60295 | T | * | T |
| 60296 | T | * | T |
| 60297 | F | * | F |
| 60298 | T | * | T |
| 60299 | T | * | T |
| 60300 | T | * | T |
| 60301 | F | F | F |
| 60302 | T | * | T |
| 60303 | T | * | T |
| 60304 | F | * | F |
| 60305 | T | * | T |
| 60306 | T | * | T |
| 60307 | T | * | T |
| 60308 | F | F | F |
| 60309 | T | * | T |
| 60310 | T | * | T |
| 60311 | T | * | T |
| 60312 | T | * | T |
| 60313 | T | * | T |
| 60314 | T | * | T |
| 60315 | F | F | F |
| 64502 | T | * | T |
| 64503 | T | * | T |
| 64504 | T | * | T |
| 64505 | T | * | T |
| 64506 | T | * | T |
| 64507 | T | * | T |
| 64508 | T | * | T |
| 64509 | F | * | F |
| 64510 | T | * | T |
| 64511 | T | * | T |
| 64512 | T | * | T |
| 64513 | T | * | T |
| 64514 | T | * | T |
| 64515 | T | * | T |
| 64516 | T | * | T |
| 64517 | F | F | F |
| 76015 | T | * | T |
| 76016 | T | * | T |
| 76017 | T | * | T |
| 76018 | T | * | T |
| 76019 | T | * | T |
| 76020 | T | * | T |
| 76021 | T | * | T |
| 76022 | F | * | F |
| 76023 | T | * | T |
| 76024 | T | * | T |
| 76025 | T | * | T |
| 76026 | T | * | T |
| 76027 | T | * | T |
| 76028 | T | * | T |
| 76029 | T | * | T |
| 76030 | F | F | F |
| 87537 | T | * | T |
| 87538 | T | * | T |
| 87539 | T | * | T |
| 87540 | F | * | F |
| 87541 | T | * | T |
| 87542 | T | * | T |
| 87543 | T | * | T |
| 87544 | F | * | F |
| 87545 | T | * | T |
| 87546 | T | * | T |
| 87547 | T | * | T |
| 87548 | F | * | F |
| 87549 | T | * | T |
| 87550 | T | * | T |
| 87551 | T | * | T |
| 87552 | F | * | F |
| 87553 | T | * | T |
| 87554 | T | * | T |
| 87555 | T | * | T |
| 87556 | F | * | F |
| 87557 | T | * | T |
| 87558 | T | * | T |
| 87559 | T | * | T |
| 87560 | F | * | F |
| 87561 | T | * | T |
| 87562 | T | * | T |
| 87563 | T | * | T |
| 87564 | F | F | F |
| 87565 | T | * | T |
| 87566 | T | * | T |
| 87567 | T | * | T |
| 87568 | F | F | F |
| 87569 | T | * | T |
| 87570 | T | * | T |
| 87571 | T | * | T |
| 87572 | F | F | F |
| 87573 | T | * | T |
| 87574 | T | * | T |
| 87575 | T | * | T |
| 87576 | F | T | T |
| 87577 | T | * | T |
| 87578 | T | * | T |
| 87579 | T | * | T |
| 87580 | F | F | F |
| 87581 | T | * | T |
| 87582 | T | * | T |
| 87583 | T | * | T |
| 87584 | F | T | T |
| 91805 | T | * | T |
| 91806 | T | * | T |
| 91807 | T | * | T |
| 91808 | F | * | F |
| 91809 | T | * | T |
| 91810 | T | * | T |
| 91811 | T | * | T |
| 91812 | F | * | F |
| 91813 | T | * | T |
| 91814 | T | * | T |
| 91815 | T | * | T |
| 91816 | F | * | F |
| 91817 | T | * | T |
| 91818 | T | * | T |
| 91819 | T | * | T |
| 91820 | F | * | F |
| 91821 | T | * | T |
| 91822 | T | * | T |
| 91823 | T | * | T |
| 91824 | F | * | F |
| 91825 | T | * | T |
| 91826 | T | * | T |
| 91827 | T | * | T |
| 91828 | F | * | F |
| 91829 | T | * | T |
| 91830 | T | * | T |
| 91831 | T | * | T |
| 91832 | F | F | F |
| 91833 | T | * | T |
| 91834 | T | * | T |
| 91835 | T | * | T |
| 91836 | F | F | F |
| 91837 | T | * | T |
| 91838 | T | * | T |
| 91839 | T | * | T |
| 91840 | F | F | F |
| 91841 | T | * | T |
| 91842 | T | * | T |
| 91843 | T | * | T |
| 91844 | F | T | T |
| 91845 | T | * | T |
| 91846 | T | * | T |
| 91847 | T | * | T |
| 91848 | F | F | F |
| 91849 | T | * | T |
| 91850 | T | * | T |
| 91851 | T | * | T |
| 91852 | F | T | T |
| 95821 | T | * | T |
| 95822 | F | * | F |
| 95823 | T | * | T |
| 95824 | F | * | F |
| 95825 | T | * | T |
| 95826 | F | * | F |
| 95827 | T | * | T |
| 95828 | F | F | F |
| 95829 | T | * | T |
| 95830 | F | T | T |
| 95831 | T | * | T |
| 95832 | F | T | T |
| 97823 | T | * | T |
| 97824 | T | * | T |
| 97825 | T | * | T |
| 97826 | T | * | T |
| 97827 | F | * | F |
| 97828 | T | * | T |
| 97829 | T | * | T |
| 97830 | T | * | T |
| 97831 | T | * | T |
| 97832 | F | F | F |
| 99341 | T | * | T |
| 99342 | T | * | T |
| 99343 | T | * | T |
| 99344 | T | * | T |
| 99345 | F | * | F |
| 99346 | T | * | T |
| 99347 | T | * | T |
| 99348 | T | * | T |
| 99349 | T | * | T |
| 99350 | F | F | F |
| 100756 | T | * | T |
| 100757 | T | * | T |
| 100758 | T | * | T |
| 100759 | T | * | T |
| 100760 | F | * | F |
| 100761 | T | * | T |
| 100762 | T | * | T |
| 100763 | T | * | T |
| 100764 | T | * | T |
| 100765 | F | F | F |
| 102358 | T | * | T |
| 102359 | T | * | T |
| 102360 | T | * | T |
| 102361 | T | * | T |
| 102362 | T | * | T |
| 102363 | T | * | T |
| 102364 | T | * | T |
| 102365 | F | * | F |
| 102366 | T | * | T |
| 102367 | T | * | T |
| 102368 | T | * | T |
| 102369 | T | * | T |
| 102370 | T | * | T |
| 102371 | T | * | T |
| 102372 | T | * | T |
| 102373 | F | F | F |
| 105026 | T | * | T |
| 105027 | T | * | T |
| 105028 | T | * | T |
| 105029 | T | * | T |
| 105030 | T | * | T |
| 105031 | T | * | T |
| 105032 | T | * | T |
| 105033 | F | * | F |
| 105034 | T | * | T |
| 105035 | T | * | T |
| 105036 | T | * | T |
| 105037 | T | * | T |
| 105038 | T | * | T |
| 105039 | T | * | T |
| 105040 | T | * | T |
| 105041 | F | * | F |
| 105042 | T | * | T |
| 105043 | T | * | T |
| 105044 | T | * | T |
| 105045 | T | * | T |
| 105046 | T | * | T |
| 105047 | T | * | T |
| 105048 | T | * | T |
| 105049 | F | * | F |
| 105050 | T | * | T |
| 105051 | T | * | T |
| 105052 | T | * | T |
| 105053 | T | * | T |
| 105054 | T | * | T |
| 105055 | T | * | T |
| 105056 | T | * | T |
| 105057 | F | F | F |
| 105058 | T | * | T |
| 105059 | T | * | T |
| 105060 | T | * | T |
| 105061 | T | * | T |
| 105062 | T | * | T |
| 105063 | T | * | T |
| 105064 | T | * | T |
| 105065 | F | F | F |
| 105066 | T | * | T |
| 105067 | T | * | T |
| 105068 | T | * | T |
| 105069 | T | * | T |
| 105070 | T | * | T |
| 105071 | T | * | T |
| 105072 | T | * | T |
| 105073 | F | F | F |
| 108797 | T | * | T |
| 108798 | T | * | T |
| 108799 | T | * | T |
| 108800 | T | * | T |
| 108801 | T | * | T |
| 108802 | F | * | F |
| 108803 | T | * | T |
| 108804 | T | * | T |
| 108805 | T | * | T |
| 108806 | T | * | T |
| 108807 | T | * | T |
| 108808 | F | F | F |
| 110934 | T | * | T |
| 110935 | T | * | T |
| 110936 | T | * | T |
| 110937 | T | * | T |
| 110938 | T | * | T |
| 110939 | T | * | T |
| 110940 | T | * | T |
| 110941 | F | * | F |
| 110942 | T | * | T |
| 110943 | T | * | T |
| 110944 | T | * | T |
| 110945 | T | * | T |
| 110946 | T | * | T |
| 110947 | T | * | T |
| 110948 | T | * | T |
| 110949 | F | * | F |
| 110950 | T | * | T |
| 110951 | T | * | T |
| 110952 | T | * | T |
| 110953 | T | * | T |
| 110954 | T | * | T |
| 110955 | T | * | T |
| 110956 | T | * | T |
| 110957 | F | F | F |
| 110958 | T | * | T |
| 110959 | T | * | T |
| 110960 | T | * | T |
| 110961 | T | * | T |
| 110962 | T | * | T |
| 110963 | T | * | T |
| 110964 | T | * | T |
| 110965 | F | F | F |
| 114168 | T | * | T |
| 114169 | T | * | T |
| 114170 | T | * | T |
| 114171 | T | * | T |
| 114172 | T | * | T |
| 114173 | T | * | T |
| 114174 | T | * | T |
| 114175 | F | * | F |
| 114176 | T | * | T |
| 114177 | T | * | T |
| 114178 | T | * | T |
| 114179 | T | * | T |
| 114180 | T | * | T |
| 114181 | T | * | T |
| 114182 | T | * | T |
| 114183 | F | F | F |
| 117527 | T | * | T |
| 117528 | T | * | T |
| 117529 | T | * | T |
| 117530 | T | * | T |
| 117531 | T | * | T |
| 117532 | T | * | T |
| 117533 | T | * | T |
| 117534 | F | * | F |
| 117535 | T | * | T |
| 117536 | T | * | T |
| 117537 | T | * | T |
| 117538 | T | * | T |
| 117539 | T | * | T |
| 117540 | T | * | T |
| 117541 | T | * | T |
| 117542 | F | F | F |
| 140463 | T | * | T |
| 140464 | T | * | T |
| 140465 | T | * | T |
| 140466 | T | * | T |
| 140467 | T | * | T |
| 140468 | T | * | T |
| 140469 | T | * | T |
| 140470 | F | * | F |
| 140471 | T | * | T |
| 140472 | T | * | T |
| 140473 | T | * | T |
| 140474 | T | * | T |
| 140475 | T | * | T |
| 140476 | T | * | T |
| 140477 | T | * | T |
| 140478 | F | F | F |
| 163075 | T | * | T |
| 163076 | T | * | T |
| 163077 | T | * | T |
| 163078 | F | * | F |
| 163079 | T | * | T |
| 163080 | T | * | T |
| 163081 | T | * | T |
| 163082 | F | F | F |
| 164630 | T | * | T |
| 164631 | T | * | T |
| 164632 | T | * | T |
| 164633 | F | * | F |
| 164634 | T | * | T |
| 164635 | T | * | T |
| 164636 | T | * | T |
| 164637 | F | F | F |
| 166352 | T | * | T |
| 166353 | T | * | T |
| 166354 | T | * | T |
| 166355 | F | * | F |
| 166356 | T | * | T |
| 166357 | T | * | T |
| 166358 | T | * | T |
| 166359 | F | F | F |
Independent-effect pairs
c0(branch1882): PROVED — pair rows248,249(masking)scry_analyze_core::run_function_body· br_if
inlined: lib.rs:4031c1(branch1892): PROVED — pair rows261,263(unique-cause)scry_analyze_core::run_function_body· br_if
inlined: lib.rs:4230