diff options
Diffstat (limited to 'Test/dafny4/Bug68.dfy')
-rw-r--r-- | Test/dafny4/Bug68.dfy | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Test/dafny4/Bug68.dfy b/Test/dafny4/Bug68.dfy new file mode 100644 index 00000000..2736246d --- /dev/null +++ b/Test/dafny4/Bug68.dfy @@ -0,0 +1,9 @@ +// RUN: %dafny /compile:3 "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+
+method Main()
+{
+ var m := map [[10, 20] := 33];
+ assert [10, 20] in m; // succeeds
+ print [10, 20] in m; // prints False
+}
\ No newline at end of file |