Speed up dafny verify
by reducing memory pressure
#8763
Job | Run time |
---|---|
7s | |
4m 54s | |
5m 1s |
dafny verify
by reducing memory pressure
#8763
Job | Run time |
---|---|
7s | |
4m 54s | |
5m 1s |