search

dafny-lang / dafny

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

Fix: Green gutter icons over constants without RHS #5842

Closed MikaelMayer closed 1 month ago

MikaelMayer commented 1 month ago

Fixes #5841 Tests have been added

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