Merge pull request #752 from viperproject/meilers_silicon_769_test

Adding test for Silicon issue #769

Author: marcoeilers

src/test/resources/all/issues/silicon/0769.vpr

@@ -0,0 +1,17 @@
+// Any copyright is dedicated to the Public Domain.
+// http://creativecommons.org/publicdomain/zero/1.0/
+
+field values: Map[Int, Ref]
+
+field value: Int
+
+
+method main()
+{
+  var x: Ref
+  x := new(values)
+  x.values := Map()
+  //:: ExpectedOutput(assert.failed:map.key.contains)
+  assert x.values[1].value > 0
+  assert false
+}