search

dafny-lang / ide-vscode

VSCode IDE Integration for Dafny
https://marketplace.visualstudio.com/items?itemName=dafny-lang.ide-vscode
MIT License
25 stars 20 forks source link

Verification issue #462

Open Yassarab opened 9 months ago

Yassarab commented 9 months ago

Failing code

Steps to reproduce the issue

Expected behavior

Actual behavior