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 |