Speed up dafny verify by reducing memory pressure
#8825
| Job | Run time |
|---|---|
| 4s | |
| 4m 32s | |
| 4m 36s |
dafny verify by reducing memory pressure
#8825
| Job | Run time |
|---|---|
| 4s | |
| 4m 32s | |
| 4m 36s |