Decision #536 — library/alloc/src/raw_vec/mod.rs:615
Status: partial
Truth table
| row | c0 br 3766 | c1 br 3770 | c2 br 3771 | outcome |
|---|---|---|---|---|
| 1147 | * | * | T | T |
| 1148 | * | * | T | T |
| 1149 | T | T | T | T |
| 1150 | T | T | T | T |
| 1151 | * | * | F | F |
| 8107 | * | * | T | T |
| 8108 | * | * | T | T |
| 8109 | T | T | T | T |
| 8110 | T | T | T | T |
| 8111 | * | * | F | F |
| 14908 | * | * | T | T |
| 14909 | * | * | T | T |
| 14910 | T | T | T | T |
| 14911 | T | T | T | T |
| 14912 | * | * | F | F |
| 21686 | T | T | F | F |
| 24429 | T | T | F | F |
| 27072 | T | T | F | F |
| 30652 | T | T | F | F |
| 51507 | T | T | F | F |
| 72431 | T | T | F | F |
| 82314 | T | T | F | F |
| 92016 | T | T | T | T |
| 92017 | T | T | T | T |
| 92018 | T | T | F | F |
| 99845 | T | T | T | T |
| 99846 | T | T | T | T |
| 99847 | T | T | F | F |
| 108334 | T | T | T | T |
| 108335 | T | T | T | T |
| 108336 | T | T | F | F |
| 116360 | T | T | T | T |
| 116361 | T | T | T | T |
| 116362 | T | T | F | F |
| 124389 | T | T | F | F |
| 141108 | T | T | F | F |
| 158342 | T | T | T | T |
| 158343 | T | T | T | T |
| 158344 | T | T | T | T |
| 158345 | T | T | T | T |
| 158346 | T | T | T | T |
| 158347 | T | T | F | F |
| 168200 | T | T | T | T |
| 168201 | T | T | T | T |
| 168202 | T | T | T | T |
| 168203 | T | T | T | T |
| 168204 | T | T | T | T |
| 168205 | T | T | F | F |
| 176518 | T | T | T | T |
| 176519 | T | T | T | T |
| 176520 | T | T | F | F |
| 181190 | T | T | F | F |
| 184509 | T | T | F | F |
| 187617 | T | T | F | F |
| 191155 | T | T | F | F |
| 196494 | T | T | T | T |
| 196495 | T | T | T | T |
| 196496 | T | T | F | F |
| 203278 | T | T | F | F |
| 207816 | T | T | T | T |
| 207817 | T | T | F | F |
| 215646 | T | T | F | F |
| 224113 | T | T | F | F |
| 301490 | T | T | F | F |
| 377071 | T | T | F | F |
| 379728 | T | T | F | F |
| 382612 | T | T | F | F |
Independent-effect pairs
c0(branch3766): GAP view gap →scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3342 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1042 ← library/alloc/src/vec/mod.rs:2061 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:610c1(branch3770): GAP view gap →scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3354 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1042 ← library/alloc/src/vec/mod.rs:2061 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:610c2(branch3771): PROVED — pair rows1149,21686(unique-cause)scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3356 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1038 ← library/alloc/src/raw_vec/mod.rs:309