Add test for issue #3731

dafny-lang · Mar 13, 2023 · 640b818 · 640b818
1 parent 527d49e
commit 640b818
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/Test/git-issues/git-issue-3731.dfy b/Test/git-issues/git-issue-3731.dfy
@@ -0,0 +1,6 @@
+// RUN: %baredafny build %args -t:java "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+
+method Main() {
+
+}
diff --git a/Test/git-issues/git-issue-3731.dfy.expect b/Test/git-issues/git-issue-3731.dfy.expect
@@ -0,0 +1,2 @@
+
+Dafny program verifier finished with TODO verified, TODO errors