Speed up dafny verify
by reducing memory pressure
#8755
Job | Run time |
---|---|
12s | |
5m 19s | |
5m 31s |
dafny verify
by reducing memory pressure
#8755
Job | Run time |
---|---|
12s | |
5m 19s | |
5m 31s |