diff options
Diffstat (limited to 'Test/dafny3/Answer')
-rw-r--r-- | Test/dafny3/Answer | 64 |
1 files changed, 0 insertions, 64 deletions
diff --git a/Test/dafny3/Answer b/Test/dafny3/Answer deleted file mode 100644 index 9e8ac835..00000000 --- a/Test/dafny3/Answer +++ /dev/null @@ -1,64 +0,0 @@ - --------------------- Iter.dfy --------------------
-
-Dafny program verifier finished with 15 verified, 0 errors
- --------------------- Streams.dfy --------------------
-
-Dafny program verifier finished with 52 verified, 0 errors
- --------------------- Dijkstra.dfy --------------------
-
-Dafny program verifier finished with 12 verified, 0 errors
- --------------------- CachedContainer.dfy --------------------
-
-Dafny program verifier finished with 47 verified, 0 errors
- --------------------- SimpleInduction.dfy --------------------
-
-Dafny program verifier finished with 12 verified, 0 errors
- --------------------- SimpleCoinduction.dfy --------------------
-
-Dafny program verifier finished with 31 verified, 0 errors
- --------------------- CalcExample.dfy --------------------
-
-Dafny program verifier finished with 6 verified, 0 errors
- --------------------- InductionVsCoinduction.dfy --------------------
-
-Dafny program verifier finished with 20 verified, 0 errors
- --------------------- Zip.dfy --------------------
-
-Dafny program verifier finished with 24 verified, 0 errors
- --------------------- SetIterations.dfy --------------------
-
-Dafny program verifier finished with 13 verified, 0 errors
- --------------------- Paulson.dfy --------------------
-
-Dafny program verifier finished with 28 verified, 0 errors
- --------------------- Filter.dfy --------------------
-
-Dafny program verifier finished with 43 verified, 0 errors
- --------------------- WideTrees.dfy --------------------
-
-Dafny program verifier finished with 10 verified, 0 errors
- --------------------- InfiniteTrees.dfy --------------------
-
-Dafny program verifier finished with 88 verified, 0 errors
- --------------------- OpaqueTrees.dfy --------------------
-
-Dafny program verifier finished with 6 verified, 0 errors
- --------------------- GenericSort.dfy --------------------
-
-Dafny program verifier finished with 36 verified, 0 errors
|