diff options
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 5297d132..a41cd0cd 100644 --- a/Test/dafny0/Answer +++ b/Test/dafny0/Answer @@ -161,7 +161,7 @@ RealTypes.dfy(19,12): Error: assertion violation Execution trace:
(0,0): anon0
-Dafny program verifier finished with 4 verified, 4 errors
+Dafny program verifier finished with 6 verified, 4 errors
-------------------- Definedness.dfy --------------------
Definedness.dfy(8,7): Error: possible division by zero
|