Speed up dafny verify by reducing memory pressure
#10355
| Job | Run time |
|---|---|
| 8s | |
| 16m 25s | |
| 16m 33s |
dafny verify by reducing memory pressure
#10355
| Job | Run time |
|---|---|
| 8s | |
| 16m 25s | |
| 16m 33s |