Decision #317 — library/alloc/src/vec/mod.rs:464
Status: partial
Truth table
| row | c0 br 1893 | c1 br 1894 | outcome |
|---|---|---|---|
| 272 | F | F | F |
| 273 | F | F | F |
| 274 | F | F | F |
| 275 | F | F | F |
| 276 | F | F | F |
| 4066 | F | F | F |
| 4067 | F | F | F |
| 4068 | F | F | F |
| 4069 | F | F | F |
| 4070 | F | F | F |
| 7749 | F | F | F |
| 7750 | F | F | F |
| 7751 | F | F | F |
| 7752 | F | F | F |
| 7753 | F | F | F |
| 11764 | F | F | F |
| 13140 | F | F | F |
| 14465 | F | F | F |
| 16094 | F | F | F |
| 25574 | F | F | F |
| 34938 | F | F | F |
| 41151 | F | F | F |
| 47392 | F | F | F |
| 47393 | F | F | F |
| 47394 | F | F | F |
| 51520 | F | F | F |
| 51521 | F | F | F |
| 51522 | F | F | F |
| 56058 | F | F | F |
| 56059 | F | F | F |
| 56060 | F | F | F |
| 60316 | F | F | F |
| 60317 | F | F | F |
| 60318 | F | F | F |
| 64518 | F | F | F |
| 76031 | F | F | F |
| 87585 | F | F | F |
| 87586 | F | F | F |
| 87587 | F | F | F |
| 87588 | F | F | F |
| 87589 | F | F | F |
| 87590 | F | F | F |
| 91853 | F | F | F |
| 91854 | F | F | F |
| 91855 | F | F | F |
| 91856 | F | F | F |
| 91857 | F | F | F |
| 91858 | F | F | F |
| 95833 | F | F | F |
| 95834 | T | * | T |
| 95835 | T | * | T |
| 97833 | F | F | F |
| 99351 | F | F | F |
| 100766 | F | F | F |
| 102374 | F | F | F |
| 105074 | F | F | F |
| 105075 | F | F | F |
| 105076 | F | F | F |
| 108809 | F | F | F |
| 110966 | F | F | F |
| 110967 | F | F | F |
| 114184 | F | F | F |
| 117543 | F | F | F |
| 140479 | F | F | F |
| 163083 | F | F | F |
| 164638 | F | F | F |
| 166360 | F | F | F |
Independent-effect pairs
c0(branch1893): PROVED — pair rows272,95834(masking)scry_analyze_core::run_function_body· br_if
inlined: lib.rs:3379c1(branch1894): GAP view gap →scry_analyze_core::run_function_body· br_if
inlined: lib.rs:3379