CONTRACTS: allow pointer predicates to fail in assume
contexts
#1530
Job | Run time |
---|---|
6m 43s | |
7m 13s | |
6m 59s | |
20m 55s |
assume
contexts
#1530
Job | Run time |
---|---|
6m 43s | |
7m 13s | |
6m 59s | |
20m 55s |