Decision #606 — library/alloc/src/vec/mod.rs:975
Status: partial
Truth table
| row | c0 br 4102 | c1 br 4103 | outcome |
|---|---|---|---|
| 1412 | T | * | T |
| 1413 | T | * | T |
| 1414 | T | * | T |
| 1415 | T | * | T |
| 1416 | F | F | F |
| 8372 | T | * | T |
| 8373 | T | * | T |
| 8374 | T | * | T |
| 8375 | T | * | T |
| 8376 | F | F | F |
| 15173 | T | * | T |
| 15174 | T | * | T |
| 15175 | T | * | T |
| 15176 | T | * | T |
| 15177 | F | F | F |
| 21771 | T | * | T |
| 24514 | T | * | T |
| 27157 | T | * | T |
| 30841 | F | F | F |
| 30842 | F | F | F |
| 30843 | F | F | F |
| 30844 | F | F | F |
| 30845 | F | F | F |
| 30846 | F | F | F |
| 30847 | F | F | F |
| 51696 | F | F | F |
| 51697 | F | F | F |
| 51698 | F | F | F |
| 51699 | F | F | F |
| 51700 | F | F | F |
| 51701 | F | F | F |
| 51702 | F | F | F |
| 72619 | F | F | F |
| 72620 | F | F | F |
| 72621 | F | F | F |
| 72622 | F | F | F |
| 72623 | F | F | F |
| 72624 | F | F | F |
| 72625 | F | F | F |
| 82502 | F | F | F |
| 82503 | F | F | F |
| 82504 | F | F | F |
| 82505 | F | F | F |
| 82506 | F | F | F |
| 82507 | F | F | F |
| 82508 | F | F | F |
| 92258 | F | F | F |
| 92259 | T | * | T |
| 92260 | F | F | F |
| 100087 | F | F | F |
| 100088 | T | * | T |
| 100089 | F | F | F |
| 108576 | F | F | F |
| 108577 | T | * | T |
| 108578 | F | F | F |
| 116602 | F | F | F |
| 116603 | T | * | T |
| 116604 | F | F | F |
| 124581 | F | F | F |
| 124582 | F | F | F |
| 124583 | F | F | F |
| 124584 | F | F | F |
| 124585 | F | F | F |
| 124586 | F | F | F |
| 124587 | F | F | F |
| 141300 | F | F | F |
| 141301 | F | F | F |
| 141302 | F | F | F |
| 141303 | F | F | F |
| 141304 | F | F | F |
| 141305 | F | F | F |
| 141306 | F | F | F |
| 158730 | T | * | T |
| 158731 | T | * | T |
| 158732 | T | * | T |
| 158733 | T | * | T |
| 158734 | T | * | T |
| 158735 | T | * | T |
| 168588 | T | * | T |
| 168589 | T | * | T |
| 168590 | T | * | T |
| 168591 | T | * | T |
| 168592 | T | * | T |
| 168593 | T | * | T |
| 176673 | T | * | T |
| 176674 | T | * | T |
| 176675 | T | * | T |
| 181266 | T | * | T |
| 184585 | T | * | T |
| 187693 | T | * | T |
| 191290 | F | F | F |
| 196916 | T | * | T |
| 196917 | T | * | T |
| 196918 | T | * | T |
| 203363 | F | F | F |
| 208265 | T | * | T |
| 208266 | T | * | T |
| 215885 | F | F | F |
| 215886 | F | F | F |
| 215887 | F | F | F |
| 215888 | F | F | F |
| 224315 | F | F | F |
| 224316 | F | F | F |
| 224317 | F | F | F |
| 224318 | F | F | F |
| 224319 | F | F | F |
| 224320 | F | F | F |
| 224321 | F | F | F |
| 301692 | F | F | F |
| 301693 | F | F | F |
| 301694 | F | F | F |
| 301695 | F | F | F |
| 301696 | F | F | F |
| 301697 | F | F | F |
| 301698 | F | F | F |
| 377136 | F | F | F |
| 379793 | F | F | F |
| 382677 | F | F | F |
Independent-effect pairs
c0(branch4102): PROVED — pair rows1412,1416(masking)scry_analyze_core::compute_handle_findings· br_ifc1(branch4103): GAP view gap →scry_analyze_core::compute_handle_findings· br_if