Speed up dafny verify
by reducing memory pressure
#214
Job | Run time |
---|---|
2s | |
2s |
dafny verify
by reducing memory pressure
#214
Job | Run time |
---|---|
2s | |
2s |