Decision #336 — library/alloc/src/vec/mod.rs:1039
Status: partial
Truth table
| row | c0 br 2058 | c1 br 2062 | outcome |
|---|---|---|---|
| 654 | T | F | F |
| 655 | T | F | F |
| 656 | T | F | F |
| 657 | T | F | F |
| 658 | T | F | F |
| 7614 | T | F | F |
| 7615 | T | F | F |
| 7616 | T | F | F |
| 7617 | T | F | F |
| 7618 | T | F | F |
| 14355 | T | F | F |
| 14356 | T | F | F |
| 14357 | T | F | F |
| 14358 | T | F | F |
| 14359 | T | F | F |
| 21511 | T | F | F |
| 24254 | T | F | F |
| 26897 | T | F | F |
| 30217 | T | F | F |
| 51072 | T | F | F |
| 71673 | T | F | F |
| 81556 | T | F | F |
| 91460 | T | F | F |
| 91461 | T | F | F |
| 91462 | T | F | F |
| 91463 | T | F | F |
| 91464 | T | F | F |
| 99237 | T | F | F |
| 99238 | T | F | F |
| 99239 | T | F | F |
| 99240 | T | F | F |
| 99241 | T | F | F |
| 107728 | T | F | F |
| 107729 | T | F | F |
| 107730 | T | F | F |
| 107731 | T | F | F |
| 107732 | T | F | F |
| 115804 | T | F | F |
| 115805 | T | F | F |
| 115806 | T | F | F |
| 115807 | T | F | F |
| 115808 | T | F | F |
| 123757 | T | F | F |
| 140476 | T | F | F |
| 157569 | T | F | F |
| 157570 | T | F | F |
| 157571 | T | F | F |
| 157572 | T | F | F |
| 157573 | T | F | F |
| 157574 | T | F | F |
| 167427 | T | F | F |
| 167428 | T | F | F |
| 167429 | T | F | F |
| 167430 | T | F | F |
| 167431 | T | F | F |
| 167432 | T | F | F |
| 176228 | T | * | T |
| 176229 | T | * | T |
| 176230 | T | * | T |
| 181011 | T | F | F |
| 184331 | T | F | F |
| 187438 | T | F | F |
| 190907 | T | F | F |
| 195748 | T | F | F |
| 195749 | T | F | F |
| 195750 | T | F | F |
| 203106 | T | F | F |
| 207076 | F | * | F |
| 207077 | F | * | F |
| 215257 | F | * | F |
| 223024 | T | F | F |
| 300401 | T | F | F |
| 376934 | T | F | F |
| 379571 | T | F | F |
| 382455 | T | F | F |
Independent-effect pairs
c0(branch2058): PROVED — pair rows176228,207076(masking)scry_analyze_core::extract_results· br_ifc1(branch2062): GAP view gap →scry_analyze_core::extract_results· br_if