Speed up dafny verify by reducing memory pressure
#18481
| Job | Run time |
|---|---|
| 7s | |
| 2m 29s | |
| 2m 36s |
dafny verify by reducing memory pressure
#18481
| Job | Run time |
|---|---|
| 7s | |
| 2m 29s | |
| 2m 36s |