Decision #48 — library/core/src/ptr/mod.rs:1721
Status: partial
Truth table
| row | c0 br 282 | c1 br 287 | outcome |
|---|---|---|---|
| 238 | F | * | F |
| 239 | F | * | F |
| 3278 | F | * | F |
| 3279 | F | * | F |
| 6173 | F | * | F |
| 6174 | F | * | F |
| 13139 | F | F | F |
| 13140 | F | F | F |
| 20857 | F | F | F |
| 20858 | F | F | F |
| 28381 | * | F | F |
| 28382 | * | F | F |
| 34319 | * | F | F |
| 34320 | * | F | F |
| 40277 | F | * | F |
| 40278 | F | * | F |
| 40279 | F | * | F |
| 40280 | F | * | F |
| 43245 | F | * | F |
| 43246 | F | * | F |
| 43247 | F | * | F |
| 43248 | F | * | F |
| 46698 | F | * | F |
| 46699 | F | * | F |
| 46700 | F | * | F |
| 46701 | F | * | F |
| 49817 | F | * | F |
| 49818 | F | * | F |
| 49819 | F | * | F |
| 49820 | F | * | F |
| 52918 | F | F | F |
| 52919 | F | F | F |
| 62690 | F | F | F |
| 62691 | F | F | F |
| 84136 | F | * | F |
| 84137 | F | * | F |
| 87537 | F | * | F |
| 87538 | F | * | F |
| 90758 | F | * | F |
| 90759 | F | * | F |
| 92397 | * | F | F |
| 92398 | * | T | T |
| 92399 | * | F | F |
| 92400 | * | T | T |
| 111260 | * | F | F |
| 111261 | * | T | T |
| 111262 | * | F | F |
| 111263 | * | T | T |
| 129941 | F | * | F |
| 129942 | F | * | F |
| 131100 | F | * | F |
| 131101 | F | * | F |
| 132427 | F | * | F |
| 132428 | F | * | F |
Independent-effect pairs
c0(branch282): GAP view gap →scry_analyze_core::top_input_locals· br_ifc1(branch287): PROVED — pair rows13139,92398(masking)scry_analyze_core::top_input_locals· br_if