search

dafny-lang / dafny

Dafny is a verification-aware programming language
https://dafny.org
Other
2.93k stars 262 forks source link

Fix reveal statement inside witness bug #5887

Closed keyboardDrummer closed 3 weeks ago

keyboardDrummer commented 3 weeks ago

Fixes #5882

How has this been tested?

CLI test added

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