Speed up dafny verify by reducing memory pressure (#5827)
#353
| Job | Run time |
|---|---|
| 14s | |
| 8s | |
| 22s |
dafny verify by reducing memory pressure (#5827)
#353
| Job | Run time |
|---|---|
| 14s | |
| 8s | |
| 22s |