diff options
| author |  qunyanm <unknown> | 2015-04-17 13:17:41 -0700 |
|---|---|---|
| committer | qunyanm <unknown> | 2015-04-17 13:17:41 -0700 |
| commit | e4419c2e8d5469787f997fbf0e74f9ef8383c140 (patch) | |
| tree | b18c24a280a4532e55f0f2bc426b045312c9eb14 /Test/dafny4/Bug68.dfy.expect | |
| parent | cfb9f6a3c00d4943a3bc7248a873b643746e0d24 (diff) | |
HashCode for Set/MultiSet/Map should be independent of the order of the
elements.
Diffstat (limited to 'Test/dafny4/Bug68.dfy.expect')
| -rw-r--r-- | Test/dafny4/Bug68.dfy.expect | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Test/dafny4/Bug68.dfy.expect b/Test/dafny4/Bug68.dfy.expect index 22cf7e4d..98b1498e 100644 --- a/Test/dafny4/Bug68.dfy.expect +++ b/Test/dafny4/Bug68.dfy.expect @@ -1,5 +1,5 @@ -Dafny program verifier finished with 10 verified, 0 errors
+Dafny program verifier finished with 16 verified, 0 errors
Program compiled successfully
Running...
@@ -7,3 +7,6 @@ True True True True +True +True +True |