Speed up dafny verify by reducing memory pressure
#18484
| Job | Run time |
|---|---|
| 7s | |
| 2m 35s | |
| 2m 42s |
dafny verify by reducing memory pressure
#18484
| Job | Run time |
|---|---|
| 7s | |
| 2m 35s | |
| 2m 42s |