summaryrefslogtreecommitdiff
path: root/test/handler/test_dafny_handler.vader
AgeCommit message (Expand)Author
2017-11-15Clean up tests to stop people copy and pasting the wrong examplesw0rp
2017-11-07ale_linters: add 'dafny' linterTaylor Blau