diff options
| author |  rustanleino <unknown> | 2010-09-21 00:17:44 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-09-21 00:17:44 +0000 |
| commit | 84b3cb0f57bd433fe321c9437b866a770a206e9b (patch) | |
| tree | c21f509a4581cb38bfcd1042b422030eccd24f1c /Test/dafny1/Answer | |
| parent | 3baf6dafea70401444ddc94f1b353c3d32a66743 (diff) | |
Dafny: Compilation of multi-dimensional arrays
Diffstat (limited to 'Test/dafny1/Answer')
| -rw-r--r-- | Test/dafny1/Answer | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny1/Answer b/Test/dafny1/Answer index c81c0268..306de96c 100644 --- a/Test/dafny1/Answer +++ b/Test/dafny1/Answer @@ -33,7 +33,7 @@ Dafny program verifier finished with 9 verified, 0 errors -------------------- MatrixFun.dfy --------------------
-Dafny program verifier finished with 4 verified, 0 errors
+Dafny program verifier finished with 8 verified, 0 errors
-------------------- SchorrWaite.dfy --------------------
|