search

dafny-lang / libraries

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

Replace deprecated syntax 'forall ensures' -> 'assert ... by' #147

Open markrtuttle opened 1 year ago

markrtuttle commented 1 year ago

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

This replaces syntax flagged by Dafny 4.2 compiler as deprecated: forall ensures with no quantifiers.