Decision #604 — library/alloc/src/raw_vec/mod.rs:435
Status: partial
Truth table
| row | c0 br 4096 | c1 br 4097 | outcome |
|---|---|---|---|
| 1400 | F | F | F |
| 1401 | F | T | T |
| 1402 | F | F | F |
| 1403 | F | T | T |
| 1404 | F | F | F |
| 1405 | F | T | T |
| 1406 | F | F | F |
| 1407 | F | F | F |
| 1408 | F | T | T |
| 1409 | F | F | F |
| 1410 | F | F | F |
| 1411 | F | T | T |
| 8360 | F | F | F |
| 8361 | F | T | T |
| 8362 | F | F | F |
| 8363 | F | T | T |
| 8364 | F | F | F |
| 8365 | F | T | T |
| 8366 | F | F | F |
| 8367 | F | F | F |
| 8368 | F | T | T |
| 8369 | F | F | F |
| 8370 | F | F | F |
| 8371 | F | T | T |
| 15161 | F | F | F |
| 15162 | F | T | T |
| 15163 | F | F | F |
| 15164 | F | T | T |
| 15165 | F | F | F |
| 15166 | F | T | T |
| 15167 | F | F | F |
| 15168 | F | F | F |
| 15169 | F | T | T |
| 15170 | F | F | F |
| 15171 | F | F | F |
| 15172 | F | T | T |
| 21765 | F | F | F |
| 21766 | F | F | F |
| 21767 | F | F | F |
| 21768 | F | F | F |
| 21769 | F | F | F |
| 21770 | F | T | T |
| 24508 | F | F | F |
| 24509 | F | F | F |
| 24510 | F | F | F |
| 24511 | F | F | F |
| 24512 | F | F | F |
| 24513 | F | T | T |
| 27151 | F | F | F |
| 27152 | F | F | F |
| 27153 | F | F | F |
| 27154 | F | F | F |
| 27155 | F | F | F |
| 27156 | F | T | T |
| 30825 | F | F | F |
| 30826 | F | F | F |
| 30827 | F | T | T |
| 30828 | F | T | T |
| 30829 | F | F | F |
| 30830 | F | F | F |
| 30831 | F | T | T |
| 30832 | F | F | F |
| 30833 | F | F | F |
| 30834 | F | F | F |
| 30835 | F | F | F |
| 30836 | F | T | T |
| 30837 | F | T | T |
| 30838 | F | T | T |
| 30839 | F | F | F |
| 30840 | F | T | T |
| 51680 | F | F | F |
| 51681 | F | F | F |
| 51682 | F | T | T |
| 51683 | F | T | T |
| 51684 | F | F | F |
| 51685 | F | F | F |
| 51686 | F | T | T |
| 51687 | F | F | F |
| 51688 | F | F | F |
| 51689 | F | F | F |
| 51690 | F | F | F |
| 51691 | F | T | T |
| 51692 | F | T | T |
| 51693 | F | T | T |
| 51694 | F | F | F |
| 51695 | F | T | T |
| 72604 | F | T | T |
| 72605 | F | T | T |
| 72606 | F | F | F |
| 72607 | F | F | F |
| 72608 | F | F | F |
| 72609 | F | T | T |
| 72610 | F | F | F |
| 72611 | F | F | F |
| 72612 | F | F | F |
| 72613 | F | F | F |
| 72614 | F | T | T |
| 72615 | F | T | T |
| 72616 | F | T | T |
| 72617 | F | F | F |
| 72618 | F | T | T |
| 82487 | F | T | T |
| 82488 | F | T | T |
| 82489 | F | F | F |
| 82490 | F | F | F |
| 82491 | F | F | F |
| 82492 | F | T | T |
| 82493 | F | F | F |
| 82494 | F | F | F |
| 82495 | F | F | F |
| 82496 | F | F | F |
| 82497 | F | T | T |
| 82498 | F | T | T |
| 82499 | F | T | T |
| 82500 | F | F | F |
| 82501 | F | T | T |
| 92244 | F | F | F |
| 92245 | F | F | F |
| 92246 | F | F | F |
| 92247 | F | T | T |
| 92248 | F | F | F |
| 92249 | F | F | F |
| 92250 | F | T | T |
| 92251 | F | F | F |
| 92252 | F | F | F |
| 92253 | F | F | F |
| 92254 | F | F | F |
| 92255 | F | F | F |
| 92256 | F | F | F |
| 92257 | F | T | T |
| 100073 | F | F | F |
| 100074 | F | F | F |
| 100075 | F | F | F |
| 100076 | F | T | T |
| 100077 | F | F | F |
| 100078 | F | F | F |
| 100079 | F | T | T |
| 100080 | F | F | F |
| 100081 | F | F | F |
| 100082 | F | F | F |
| 100083 | F | F | F |
| 100084 | F | F | F |
| 100085 | F | F | F |
| 100086 | F | T | T |
| 108562 | F | F | F |
| 108563 | F | F | F |
| 108564 | F | F | F |
| 108565 | F | T | T |
| 108566 | F | F | F |
| 108567 | F | F | F |
| 108568 | F | T | T |
| 108569 | F | F | F |
| 108570 | F | F | F |
| 108571 | F | F | F |
| 108572 | F | F | F |
| 108573 | F | F | F |
| 108574 | F | F | F |
| 108575 | F | T | T |
| 116588 | F | F | F |
| 116589 | F | F | F |
| 116590 | F | F | F |
| 116591 | F | T | T |
| 116592 | F | F | F |
| 116593 | F | F | F |
| 116594 | F | T | T |
| 116595 | F | F | F |
| 116596 | F | F | F |
| 116597 | F | F | F |
| 116598 | F | F | F |
| 116599 | F | F | F |
| 116600 | F | F | F |
| 116601 | F | T | T |
| 124565 | F | T | T |
| 124566 | F | T | T |
| 124567 | F | F | F |
| 124568 | F | F | F |
| 124569 | F | T | T |
| 124570 | F | F | F |
| 124571 | F | F | F |
| 124572 | F | F | F |
| 124573 | F | F | F |
| 124574 | F | F | F |
| 124575 | F | F | F |
| 124576 | F | T | T |
| 124577 | F | T | T |
| 124578 | F | T | T |
| 124579 | F | F | F |
| 124580 | F | T | T |
| 141284 | F | T | T |
| 141285 | F | T | T |
| 141286 | F | F | F |
| 141287 | F | F | F |
| 141288 | F | T | T |
| 141289 | F | F | F |
| 141290 | F | F | F |
| 141291 | F | F | F |
| 141292 | F | F | F |
| 141293 | F | F | F |
| 141294 | F | F | F |
| 141295 | F | T | T |
| 141296 | F | T | T |
| 141297 | F | T | T |
| 141298 | F | F | F |
| 141299 | F | T | T |
| 158706 | F | F | F |
| 158707 | F | F | F |
| 158708 | F | F | F |
| 158709 | F | T | T |
| 158710 | F | F | F |
| 158711 | F | F | F |
| 158712 | F | F | F |
| 158713 | F | T | T |
| 158714 | F | F | F |
| 158715 | F | F | F |
| 158716 | F | F | F |
| 158717 | F | T | T |
| 158718 | F | F | F |
| 158719 | F | F | F |
| 158720 | F | F | F |
| 158721 | F | T | T |
| 158722 | F | F | F |
| 158723 | F | F | F |
| 158724 | F | F | F |
| 158725 | F | T | T |
| 158726 | F | F | F |
| 158727 | F | F | F |
| 158728 | F | F | F |
| 158729 | F | T | T |
| 168564 | F | F | F |
| 168565 | F | F | F |
| 168566 | F | F | F |
| 168567 | F | T | T |
| 168568 | F | F | F |
| 168569 | F | F | F |
| 168570 | F | F | F |
| 168571 | F | T | T |
| 168572 | F | F | F |
| 168573 | F | F | F |
| 168574 | F | F | F |
| 168575 | F | T | T |
| 168576 | F | F | F |
| 168577 | F | F | F |
| 168578 | F | F | F |
| 168579 | F | T | T |
| 168580 | F | F | F |
| 168581 | F | F | F |
| 168582 | F | F | F |
| 168583 | F | T | T |
| 168584 | F | F | F |
| 168585 | F | F | F |
| 168586 | F | F | F |
| 168587 | F | T | T |
| 176667 | F | F | F |
| 176668 | F | T | T |
| 176669 | F | F | F |
| 176670 | F | T | T |
| 176671 | F | F | F |
| 176672 | F | T | T |
| 181261 | F | F | F |
| 181262 | F | F | F |
| 181263 | F | F | F |
| 181264 | F | F | F |
| 181265 | F | T | T |
| 184580 | F | F | F |
| 184581 | F | F | F |
| 184582 | F | F | F |
| 184583 | F | F | F |
| 184584 | F | T | T |
| 187688 | F | F | F |
| 187689 | F | F | F |
| 187690 | F | F | F |
| 187691 | F | F | F |
| 187692 | F | T | T |
| 191280 | F | F | F |
| 191281 | F | F | F |
| 191282 | F | F | F |
| 191283 | F | F | F |
| 191284 | F | F | F |
| 191285 | F | F | F |
| 191286 | F | F | F |
| 191287 | F | F | F |
| 191288 | F | F | F |
| 191289 | F | T | T |
| 196886 | F | F | F |
| 196887 | F | F | F |
| 196888 | F | F | F |
| 196889 | F | F | F |
| 196890 | F | F | F |
| 196891 | F | F | F |
| 196892 | F | F | F |
| 196893 | F | F | F |
| 196894 | F | F | F |
| 196895 | F | T | T |
| 196896 | F | F | F |
| 196897 | F | F | F |
| 196898 | F | F | F |
| 196899 | F | F | F |
| 196900 | F | F | F |
| 196901 | F | F | F |
| 196902 | F | F | F |
| 196903 | F | F | F |
| 196904 | F | F | F |
| 196905 | F | T | T |
| 196906 | F | F | F |
| 196907 | F | F | F |
| 196908 | F | F | F |
| 196909 | F | F | F |
| 196910 | F | F | F |
| 196911 | F | F | F |
| 196912 | F | F | F |
| 196913 | F | F | F |
| 196914 | F | F | F |
| 196915 | F | T | T |
| 203357 | F | F | F |
| 203358 | F | F | F |
| 203359 | F | F | F |
| 203360 | F | F | F |
| 203361 | F | F | F |
| 203362 | F | T | T |
| 208231 | F | F | F |
| 208232 | F | F | F |
| 208233 | F | F | F |
| 208234 | F | F | F |
| 208235 | F | F | F |
| 208236 | F | F | F |
| 208237 | F | F | F |
| 208238 | F | F | F |
| 208239 | F | F | F |
| 208240 | F | F | F |
| 208241 | F | F | F |
| 208242 | F | F | F |
| 208243 | F | F | F |
| 208244 | F | F | F |
| 208245 | F | F | F |
| 208246 | F | F | F |
| 208247 | F | T | T |
| 208248 | F | F | F |
| 208249 | F | F | F |
| 208250 | F | F | F |
| 208251 | F | F | F |
| 208252 | F | F | F |
| 208253 | F | F | F |
| 208254 | F | F | F |
| 208255 | F | F | F |
| 208256 | F | F | F |
| 208257 | F | F | F |
| 208258 | F | F | F |
| 208259 | F | F | F |
| 208260 | F | F | F |
| 208261 | F | F | F |
| 208262 | F | F | F |
| 208263 | F | F | F |
| 208264 | F | T | T |
| 215865 | F | F | F |
| 215866 | F | F | F |
| 215867 | F | F | F |
| 215868 | F | F | F |
| 215869 | F | T | T |
| 215870 | F | F | F |
| 215871 | F | F | F |
| 215872 | F | T | T |
| 215873 | F | F | F |
| 215874 | F | F | F |
| 215875 | F | F | F |
| 215876 | F | F | F |
| 215877 | F | F | F |
| 215878 | F | T | T |
| 215879 | F | F | F |
| 215880 | F | F | F |
| 215881 | F | F | F |
| 215882 | F | F | F |
| 215883 | F | F | F |
| 215884 | F | T | T |
| 224298 | F | F | F |
| 224299 | F | F | F |
| 224300 | F | T | T |
| 224301 | F | T | T |
| 224302 | F | F | F |
| 224303 | F | F | F |
| 224304 | F | F | F |
| 224305 | F | T | T |
| 224306 | F | F | F |
| 224307 | F | F | F |
| 224308 | F | F | F |
| 224309 | F | F | F |
| 224310 | F | T | T |
| 224311 | F | T | T |
| 224312 | F | T | T |
| 224313 | F | F | F |
| 224314 | F | T | T |
| 301675 | F | F | F |
| 301676 | F | F | F |
| 301677 | F | T | T |
| 301678 | F | T | T |
| 301679 | F | F | F |
| 301680 | F | F | F |
| 301681 | F | F | F |
| 301682 | F | T | T |
| 301683 | F | F | F |
| 301684 | F | F | F |
| 301685 | F | F | F |
| 301686 | F | F | F |
| 301687 | F | T | T |
| 301688 | F | T | T |
| 301689 | F | T | T |
| 301690 | F | F | F |
| 301691 | F | T | T |
| 377132 | F | F | F |
| 377133 | F | F | F |
| 377134 | F | F | F |
| 377135 | F | T | T |
| 379789 | F | F | F |
| 379790 | F | F | F |
| 379791 | F | F | F |
| 379792 | F | T | T |
| 382673 | F | F | F |
| 382674 | F | F | F |
| 382675 | F | F | F |
| 382676 | F | T | T |
Independent-effect pairs
c0(branch4096): GAP view gap →scry_analyze_core::compute_handle_findings· br_ifc1(branch4097): PROVED — pair rows1400,1401(unique-cause)scry_analyze_core::compute_handle_findings· br_if