Decision #34 — library/alloc/src/raw_vec/mod.rs:614
Status: partial
Truth table
| row | c0 br 225 | c1 br 226 | outcome |
|---|---|---|---|
| 142 | F | T | T |
| 143 | F | T | T |
| 144 | F | T | T |
| 145 | F | T | T |
| 146 | F | T | T |
| 3182 | F | T | T |
| 3183 | F | T | T |
| 3184 | F | T | T |
| 3185 | F | T | T |
| 3186 | F | T | T |
| 6077 | F | T | T |
| 6078 | F | T | T |
| 6079 | F | T | T |
| 6080 | F | T | T |
| 6081 | F | T | T |
| 9453 | F | T | T |
| 10601 | F | T | T |
| 11692 | F | T | T |
| 12892 | F | T | T |
| 20610 | F | T | T |
| 28279 | F | T | T |
| 34217 | F | T | T |
| 40139 | F | T | T |
| 40140 | F | T | T |
| 40141 | F | T | T |
| 43107 | F | T | T |
| 43108 | F | T | T |
| 43109 | F | T | T |
| 46560 | F | T | T |
| 46561 | F | T | T |
| 46562 | F | T | T |
| 49679 | F | T | T |
| 49680 | F | T | T |
| 49681 | F | T | T |
| 52655 | F | T | T |
| 62427 | F | T | T |
| 72265 | F | T | T |
| 72266 | F | T | T |
| 72267 | F | T | T |
| 72268 | F | T | T |
| 72269 | F | T | T |
| 72270 | F | T | T |
| 75740 | F | T | T |
| 75741 | F | T | T |
| 75742 | F | T | T |
| 75743 | F | T | T |
| 75744 | F | T | T |
| 75745 | F | T | T |
| 79107 | F | F | F |
| 79108 | F | T | T |
| 79109 | F | T | T |
| 80683 | F | T | T |
| 81870 | F | T | T |
| 82932 | F | T | T |
| 84126 | F | T | T |
| 85444 | F | T | T |
| 85445 | F | T | T |
| 85446 | F | T | T |
| 87527 | F | T | T |
| 88755 | F | T | T |
| 88756 | F | T | T |
| 90747 | F | T | T |
| 92254 | F | T | T |
| 111117 | F | T | T |
| 129895 | F | T | T |
| 131054 | F | T | T |
| 132381 | F | T | T |
Independent-effect pairs
c0(branch225): GAP view gap →scry_analyze_core::tarjan_sccs· br_if
inlined: lib.rs:2222 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1040 ← library/alloc/src/raw_vec/mod.rs:309c1(branch226): PROVED — pair rows142,79107(unique-cause)scry_analyze_core::tarjan_sccs· br_if
inlined: lib.rs:2222 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1044 ← library/alloc/src/vec/mod.rs:2025 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609