Clean up tests to stop people copy and pasting the wrong examples

1 files changed, 6 insertions, 4 deletions

diff --git a/test/handler/test_dafny_handler.vader b/test/handler/test_dafny_handler.vader
index 1de9a77f..674f691d 100644
--- a/test/handler/test_dafny_handler.vader
+++ b/test/handler/test_dafny_handler.vader
@@ -1,5 +1,10 @@
-Execute(The Dafny handler should parse output correctly):
+Before:
   runtime ale_linters/dafny/dafny.vim
+
+After:
+  call ale#linter#Reset()
+
+Execute(The Dafny handler should parse output correctly):
   AssertEqual
   \ [
   \   {
@@ -21,6 +26,3 @@ Execute(The Dafny handler should parse output correctly):
   \ 'File.dfy(123,45): Error BP5002: A precondition for this call might not hold.',
   \ 'File.dfy(678,90): Related location: This is the precondition that might not hold.'
   \ ])
-
-After:
-  call ale#linter#Reset()