diff options
| author |  leino <unknown> | 2015-11-11 17:36:24 -0800 |
|---|---|---|
| committer | leino <unknown> | 2015-11-11 17:36:24 -0800 |
| commit | 7cc9a11d13a1d43d6e7beb4f874bb086f73804c4 (patch) | |
| tree | 2a1053b087323964ccb7505d983806045da778b0 /Test/dafny0/Compilation.dfy.expect | |
| parent | 3a5f8c7e20671a8e4eb706239b8d071f98846bf1 (diff) | |
Fixed compilation of equality between reference types
Diffstat (limited to 'Test/dafny0/Compilation.dfy.expect')
| -rw-r--r-- | Test/dafny0/Compilation.dfy.expect | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Test/dafny0/Compilation.dfy.expect b/Test/dafny0/Compilation.dfy.expect index 2b76b107..0a934a63 100644 --- a/Test/dafny0/Compilation.dfy.expect +++ b/Test/dafny0/Compilation.dfy.expect @@ -1,5 +1,5 @@ -Dafny program verifier finished with 50 verified, 0 errors
+Dafny program verifier finished with 56 verified, 0 errors
Program compiled successfully
Running...
@@ -10,3 +10,7 @@ Running... 42 9 9 +a is null +a and b are equal +good world order +given array is non-null |