Add test for issue #2139

dafny-lang · Nov 4, 2022 · 1236c4b · 1236c4b
1 parent 16cc15c
commit 1236c4b
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/Test/git-issues/git-issue-2139.dfy b/Test/git-issues/git-issue-2139.dfy
@@ -0,0 +1,11 @@
+// RUN: %dafny_0 /compile:0 "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+
+method a() 
+{
+    var tok := (0,0);
+    match tok {
+      case "B" => 
+      case _ => 
+    }
+}
diff --git a/Test/git-issues/git-issue-2139.dfy.expect b/Test/git-issues/git-issue-2139.dfy.expect