CONTRACTS: allow pointer predicates to fail in assume contexts
#600
| Job | Run time |
|---|---|
| 2h 34m 26s | |
| 2h 34m 26s |
assume contexts
#600
| Job | Run time |
|---|---|
| 2h 34m 26s | |
| 2h 34m 26s |