diff options
author | qunyanm <unknown> | 2015-04-16 11:09:24 -0700 |
---|---|---|
committer | qunyanm <unknown> | 2015-04-16 11:09:24 -0700 |
commit | cfb9f6a3c00d4943a3bc7248a873b643746e0d24 (patch) | |
tree | 3cbb25ca94f8678c35d6a916c3647ee7e8beefcf /Test/dafny4/Bug68.dfy.expect | |
parent | d95b2c8dd46bb52c6c84f2b764d3e6211b403346 (diff) |
Change GetHashCode for Set, MultiSet and Map
Diffstat (limited to 'Test/dafny4/Bug68.dfy.expect')
-rw-r--r-- | Test/dafny4/Bug68.dfy.expect | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Test/dafny4/Bug68.dfy.expect b/Test/dafny4/Bug68.dfy.expect index 4fcef38e..22cf7e4d 100644 --- a/Test/dafny4/Bug68.dfy.expect +++ b/Test/dafny4/Bug68.dfy.expect @@ -1,6 +1,9 @@ -Dafny program verifier finished with 2 verified, 0 errors
+Dafny program verifier finished with 10 verified, 0 errors
Program compiled successfully
Running...
-True
\ No newline at end of file +True +True +True +True |