Test/dafny4/Bug68.dfy


1
2
3
4
5
6
7
8
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
}