summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/handler/test_dafny_handler.vader26
1 files changed, 26 insertions, 0 deletions
diff --git a/test/handler/test_dafny_handler.vader b/test/handler/test_dafny_handler.vader
new file mode 100644
index 00000000..1de9a77f
--- /dev/null
+++ b/test/handler/test_dafny_handler.vader
@@ -0,0 +1,26 @@
+Execute(The Dafny handler should parse output correctly):
+ runtime ale_linters/dafny/dafny.vim
+ AssertEqual
+ \ [
+ \ {
+ \ 'bufnr': 0,
+ \ 'col': 45,
+ \ 'lnum': 123,
+ \ 'text': 'A precondition for this call might not hold.',
+ \ 'type': 'E'
+ \ },
+ \ {
+ \ 'bufnr': 0,
+ \ 'col': 90,
+ \ 'lnum': 678,
+ \ 'text': 'This is the precondition that might not hold.',
+ \ 'type': 'W'
+ \ }
+ \ ],
+ \ ale_linters#dafny#dafny#Handle(0, [
+ \ '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()