summaryrefslogtreecommitdiff
path: root/test/handler/test_dafny_handler.vader
AgeCommit message (Expand)Author
2021-01-20Merge pull request #3475 from benknoble/dafny-include-timeoutsHoracio Sanson
2020-11-30add testsD. Ben Knoble
2020-10-08update testsD. Ben Knoble
2017-11-15Clean up tests to stop people copy and pasting the wrong examplesw0rp
2017-11-07ale_linters: add 'dafny' linterTaylor Blau