diff options
Diffstat (limited to 'Test/vacid0/Answer')
-rw-r--r-- | Test/vacid0/Answer | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Test/vacid0/Answer b/Test/vacid0/Answer new file mode 100644 index 00000000..6f270f92 --- /dev/null +++ b/Test/vacid0/Answer @@ -0,0 +1,12 @@ +
+-------------------- LazyInitArray.dfy --------------------
+
+Dafny program verifier finished with 7 verified, 0 errors
+
+-------------------- SparseArray.dfy --------------------
+
+Dafny program verifier finished with 9 verified, 0 errors
+
+-------------------- Composite.dfy --------------------
+
+Dafny program verifier finished with 14 verified, 0 errors
|