1 files changed, 19 insertions, 15 deletions
diff --git a/Test/dafny3/Answer b/Test/dafny3/Answer
index 5b7357e6..9e8ac835 100644
--- a/Test/dafny3/Answer
+++ b/Test/dafny3/Answer
@@ -1,60 +1,64 @@
-
+
 -------------------- 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