diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-05-27 19:17:07 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-05-27 19:17:07 -0700 |
| commit | c624c990202819ee6789f4d56acbe716680071c0 (patch) | |
| tree | 12ef511c162cd7ef3efedef25a063759564e50e6 /Test/dafny0/Answer | |
| parent | 8b6912828c27c267fc5ce17945d19ccc217d1201 (diff) | |
| parent | 126bbea00d28c22f4ac21c773e7790ad9015e82f (diff) | |
Merge
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 1a3218eb..05250fa8 100644 --- a/Test/dafny0/Answer +++ b/Test/dafny0/Answer @@ -201,7 +201,7 @@ Execution trace: (0,0): anon15
(0,0): anon25_Else
-Dafny program verifier finished with 41 verified, 14 errors
+Dafny program verifier finished with 43 verified, 14 errors
-------------------- Definedness.dfy --------------------
Definedness.dfy(8,7): Error: possible division by zero
|