CONTRACTS: allow pointer predicates to fail in assume
contexts
#1512
Job | Run time |
---|---|
8m 25s | |
7m 8s | |
8m 58s | |
24m 31s |
assume
contexts
#1512
Job | Run time |
---|---|
8m 25s | |
7m 8s | |
8m 58s | |
24m 31s |