Adding yml to test examples embedded in .md files

dafny-lang / libraries

Libraries useful for Dafny programs

Other

43 stars 25 forks source link

Closed davidcok closed 1 year ago

davidcok commented 1 year ago

Addint code to tests examples; also reverting the name of Wrappers back to Wrappers

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