diff options
author | Unknown <t-jasonk@Z3507288.redmond.corp.microsoft.com> | 2012-05-31 17:13:35 -0700 |
---|---|---|
committer | Unknown <t-jasonk@Z3507288.redmond.corp.microsoft.com> | 2012-05-31 17:13:35 -0700 |
commit | efa4409064269b52499eeb858435f054bb8ff173 (patch) | |
tree | 0ed081c0d235071df3bbb5f545715cc25d0b2658 /Test/dafny0/Answer | |
parent | 33be652b4db584a8441f7b1006ceed73eb091be6 (diff) |
Dafny: Added map comprehensions and updated display syntax
Diffstat (limited to 'Test/dafny0/Answer')
-rw-r--r-- | Test/dafny0/Answer | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer index 35a5017b..c451cc62 100644 --- a/Test/dafny0/Answer +++ b/Test/dafny0/Answer @@ -1565,7 +1565,7 @@ Maps.dfy(126,13): Error: assertion violation Execution trace:
(0,0): anon0
-Dafny program verifier finished with 22 verified, 2 errors
+Dafny program verifier finished with 30 verified, 2 errors
-------------------- SmallTests.dfy --------------------
SmallTests.dfy(30,11): Error: index out of range
|