search

dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

Changing forall ensures to assert-by to avoid deprecation warning #124

Open davidcok opened 1 year ago

davidcok commented 1 year ago

Fixes issue 3559 in dafny-lang/dafny

davidcok commented 1 year ago

Problem: Some modules do not prove under 3.13.1