Merge pull request #3557 from benknoble/dafny-filename-again

dafny: update filename handling
2026-01-09 13:02:28 +08:00 · 2021-01-24 14:07:12 +09:00
parent 580271b510 bacb8bb902
commit 18eb6a0758
2 changed files with 2 additions and 2 deletions
--- a/test/handler/test_dafny_handler.vader
+++ b/test/handler/test_dafny_handler.vader
@@ -22,7 +22,7 @@ Execute(The Dafny handler should parse output correctly):
  \     'type': 'W'
  \   },
  \   {
-  \     'bufnr': 0,
+  \     'filename': 'File.dfy',
  \     'col': 45,
  \     'lnum': 123,
  \     'text': "Verification of 'Impl$$_22_Proof.__default.PutKeepsMapsFull' timed out after 2 seconds",