update tests

2020-10-08 12:02:30 -04:00 · 2020-10-08 12:02:30 -04:00 · 160af49450
commit 160af49450
parent c37cc1c8a3
1 changed files with 2 additions and 2 deletions
--- a/test/handler/test_dafny_handler.vader
+++ b/test/handler/test_dafny_handler.vader
@ -8,14 +8,14 @@ Execute(The Dafny handler should parse output correctly):
  AssertEqual
  \ [
  \   {
-  \     'bufnr': 0,
+  \     'filename': 'File.dfy',
  \     'col': 45,
  \     'lnum': 123,
  \     'text': 'A precondition for this call might not hold.',
  \     'type': 'E'
  \   },
  \   {
-  \     'bufnr': 0,
+  \     'filename': 'File.dfy',
  \     'col': 90,
  \     'lnum': 678,
  \     'text': 'This is the precondition that might not hold.',