CONTRACTS: allow pointer predicates to fail in assume
contexts
#3051
Job | Run time |
---|---|
1m 12s | |
1m 15s | |
17s | |
2m 44s |
assume
contexts
#3051
Job | Run time |
---|---|
1m 12s | |
1m 15s | |
17s | |
2m 44s |