Speed up dafny verify by reducing memory pressure
#8755
| Job | Run time |
|---|---|
| 12s | |
| 5m 19s | |
| 5m 31s |
dafny verify by reducing memory pressure
#8755
| Job | Run time |
|---|---|
| 12s | |
| 5m 19s | |
| 5m 31s |