Add test for issue #5283

dafny-lang · May 14, 2024 · d0a6249 · d0a6249
1 parent 842712f
commit d0a6249
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-5283.dfy b/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-5283.dfy
@@ -0,0 +1,7 @@
+// RUN: %testDafnyForEachCompiler "%s"
+
+module fmt {}
+
+method Main(){
+    print "done\n";
+}
diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-5283.dfy.expect b/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-5283.dfy.expect
@@ -0,0 +1,2 @@
+
+Dafny program verifier finished with TODO verified, TODO errors
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@

		Dafny program verifier finished with TODO verified, TODO errors