Speed up dafny verify
by reducing memory pressure
#10300
Job | Run time |
---|---|
9s | |
15m 58s | |
16m 7s |
dafny verify
by reducing memory pressure
#10300
Job | Run time |
---|---|
9s | |
15m 58s | |
16m 7s |