Decision #33 — library/alloc/src/raw_vec/mod.rs:434
Status: no_witness
Truth table
| row | c0 br 218 | c1 br 219 | outcome |
|---|---|---|---|
| 137 | F | F | T |
| 138 | F | F | T |
| 139 | F | F | T |
| 140 | F | F | T |
| 141 | F | F | T |
| 3177 | F | F | T |
| 3178 | F | F | T |
| 3179 | F | F | T |
| 3180 | F | F | T |
| 3181 | F | F | T |
| 6072 | F | F | T |
| 6073 | F | F | T |
| 6074 | F | F | T |
| 6075 | F | F | T |
| 6076 | F | F | T |
| 9452 | F | F | T |
| 10600 | F | F | T |
| 11691 | F | F | T |
| 12891 | F | F | T |
| 20609 | F | F | T |
| 28278 | F | F | T |
| 34216 | F | F | T |
| 40136 | F | F | T |
| 40137 | F | F | T |
| 40138 | F | F | T |
| 43104 | F | F | T |
| 43105 | F | F | T |
| 43106 | F | F | T |
| 46557 | F | F | T |
| 46558 | F | F | T |
| 46559 | F | F | T |
| 49676 | F | F | T |
| 49677 | F | F | T |
| 49678 | F | F | T |
| 52654 | F | F | T |
| 62426 | F | F | T |
| 72259 | F | F | T |
| 72260 | F | F | T |
| 72261 | F | F | T |
| 72262 | F | F | T |
| 72263 | F | F | T |
| 72264 | F | F | T |
| 75734 | F | F | T |
| 75735 | F | F | T |
| 75736 | F | F | T |
| 75737 | F | F | T |
| 75738 | F | F | T |
| 75739 | F | F | T |
| 79104 | F | F | T |
| 79105 | F | F | T |
| 79106 | F | F | T |
| 80682 | F | F | T |
| 81869 | F | F | T |
| 82931 | F | F | T |
| 84125 | F | F | T |
| 85441 | F | F | T |
| 85442 | F | F | T |
| 85443 | F | F | T |
| 87526 | F | F | T |
| 88753 | F | F | T |
| 88754 | F | F | T |
| 90746 | F | F | T |
| 92253 | F | F | T |
| 111116 | F | F | T |
| 129894 | F | F | T |
| 131053 | F | F | T |
| 132380 | F | F | T |
Independent-effect pairs
c0(branch218): GAP view gap →scry_analyze_core::tarjan_sccs· br_ifc1(branch219): GAP view gap →scry_analyze_core::tarjan_sccs· br_if