Decision #774 — library/alloc/src/raw_vec/mod.rs:634
Status: no_witness
Truth table
| row | c0 br 5182 | c1 br 5183 | outcome |
|---|---|---|---|
| 22055 | T | * | T |
| 22056 | T | * | T |
| 22057 | T | * | T |
| 22058 | T | * | T |
| 22059 | F | F | T |
| 22060 | T | * | T |
| 22061 | T | * | T |
| 22062 | T | * | T |
| 22063 | T | * | T |
| 22064 | F | F | T |
| 31533 | T | * | T |
| 31534 | T | * | T |
| 31535 | T | * | T |
| 31536 | T | * | T |
| 31537 | F | F | T |
| 31538 | T | * | T |
| 31539 | T | * | T |
| 31540 | T | * | T |
| 31541 | T | * | T |
| 31542 | F | F | T |
| 37846 | T | * | T |
| 37847 | T | * | T |
| 37848 | F | F | T |
| 37849 | T | * | T |
| 37850 | T | * | T |
| 37851 | F | F | T |
| 44059 | T | * | T |
| 44060 | T | * | T |
| 44061 | F | F | T |
| 44062 | T | * | T |
| 44063 | T | * | T |
| 44064 | F | F | T |
| 72063 | T | * | T |
| 72064 | T | * | T |
| 72065 | T | * | T |
| 72066 | T | * | T |
| 72067 | F | F | T |
| 72068 | T | * | T |
| 72069 | T | * | T |
| 72070 | T | * | T |
| 72071 | T | * | T |
| 72072 | F | F | T |
| 83576 | T | * | T |
| 83577 | T | * | T |
| 83578 | T | * | T |
| 83579 | T | * | T |
| 83580 | F | F | T |
| 83581 | T | * | T |
| 83582 | T | * | T |
| 83583 | T | * | T |
| 83584 | T | * | T |
| 83585 | F | F | T |
| 134227 | T | * | T |
| 134228 | T | * | T |
| 134229 | T | * | T |
| 134230 | T | * | T |
| 134231 | F | F | T |
| 134232 | T | * | T |
| 134233 | T | * | T |
| 134234 | T | * | T |
| 134235 | T | * | T |
| 134236 | F | F | T |
| 157163 | T | * | T |
| 157164 | T | * | T |
| 157165 | T | * | T |
| 157166 | T | * | T |
| 157167 | F | F | T |
| 157168 | T | * | T |
| 157169 | T | * | T |
| 157170 | T | * | T |
| 157171 | T | * | T |
| 157172 | F | F | T |
Independent-effect pairs
c0(branch5182): GAP view gap →scry_octagon::leq· br_if
inlined: lib.rs:299 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:874c1(branch5183): GAP view gap →scry_octagon::leq· br_if
inlined: lib.rs:299 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:874