Decision #773 — library/alloc/src/raw_vec/mod.rs:469
Status: partial
Truth table
| row | c0 br 5179 | c1 br 5180 | outcome |
|---|---|---|---|
| 22045 | F | F | F |
| 22046 | F | F | F |
| 22047 | F | F | F |
| 22048 | F | F | F |
| 22049 | T | * | T |
| 22050 | F | F | F |
| 22051 | F | F | F |
| 22052 | F | F | F |
| 22053 | F | F | F |
| 22054 | T | * | T |
| 31523 | F | F | F |
| 31524 | F | F | F |
| 31525 | F | F | F |
| 31526 | F | F | F |
| 31527 | T | * | T |
| 31528 | F | F | F |
| 31529 | F | F | F |
| 31530 | F | F | F |
| 31531 | F | F | F |
| 31532 | T | * | T |
| 37840 | F | F | F |
| 37841 | F | F | F |
| 37842 | T | * | T |
| 37843 | F | F | F |
| 37844 | F | F | F |
| 37845 | T | * | T |
| 44053 | F | F | F |
| 44054 | F | F | F |
| 44055 | T | * | T |
| 44056 | F | F | F |
| 44057 | F | F | F |
| 44058 | T | * | T |
| 72053 | F | F | F |
| 72054 | F | F | F |
| 72055 | F | F | F |
| 72056 | F | F | F |
| 72057 | T | * | T |
| 72058 | F | F | F |
| 72059 | F | F | F |
| 72060 | F | F | F |
| 72061 | F | F | F |
| 72062 | T | * | T |
| 83566 | F | F | F |
| 83567 | F | F | F |
| 83568 | F | F | F |
| 83569 | F | F | F |
| 83570 | T | * | T |
| 83571 | F | F | F |
| 83572 | F | F | F |
| 83573 | F | F | F |
| 83574 | F | F | F |
| 83575 | T | * | T |
| 134217 | F | F | F |
| 134218 | F | F | F |
| 134219 | F | F | F |
| 134220 | F | F | F |
| 134221 | T | * | T |
| 134222 | F | F | F |
| 134223 | F | F | F |
| 134224 | F | F | F |
| 134225 | F | F | F |
| 134226 | T | * | T |
| 157153 | F | F | F |
| 157154 | F | F | F |
| 157155 | F | F | F |
| 157156 | F | F | F |
| 157157 | T | * | T |
| 157158 | F | F | F |
| 157159 | F | F | F |
| 157160 | F | F | F |
| 157161 | F | F | F |
| 157162 | T | * | T |
Independent-effect pairs
c0(branch5179): PROVED — pair rows22045,22049(masking)scry_octagon::leq· br_ifc1(branch5180): GAP view gap →scry_octagon::leq· br_if