CONTRACTS: allow pointer predicates to fail in assume contexts
#10818
| Job | Run time |
|---|---|
| 18m 11s | |
| 4m 2s | |
| 24m 56s | |
| 4m 26s | |
| 19m 4s | |
| 18m 14s | |
| 17m 6s | |
| 17m 34s | |
| 17m 37s | |
| 21m 9s | |
| 25m 12s | |
| 1h 34m 17s | |
| 2m 7s | |
| 10m 56s | |
| 25m 29s | |
| 36m 44s | |
| 23m 22s | |
| 6m 2s | |
| 6h 26m 28s |