Speed up dafny verify
by reducing memory pressure
#68
This job was skipped
Loading
dafny verify
by reducing memory pressure
#68