We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Running Dafny's test suite (markdown)
Note about running lit on Windows
Add basic information on Dafny test suite.