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

Feature request: dafny test in the IDE #426

Closed jtristan closed 1 year ago

jtristan commented 1 year ago

In the same way that we can have counter examples in the IDE, I wish we could run dafny test.

MikaelMayer commented 1 year ago

Already fixed by https://github.com/dafny-lang/ide-vscode/pull/420 which has been merged. We just need to wait for the next release of the VSCode extension.