diff options
| author |  leino <unknown> | 2014-07-01 16:44:25 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-07-01 16:44:25 -0700 |
| commit | 0bcef90b3cadb13d7cebd4394ff8bf51e95015e7 (patch) | |
| tree | f951a694f4bc786af76f930dfb1a66d526001c74 /Test/vacid0/Answer | |
| parent | 20f71a77b757f446f1e0459f9fcb2899e9c6c4dd (diff) | |
| parent | 3f3f4a4d42cb0926acd6606b537b8a1a743e138e (diff) | |
Merge
Diffstat (limited to 'Test/vacid0/Answer')
| -rw-r--r-- | Test/vacid0/Answer | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Test/vacid0/Answer b/Test/vacid0/Answer deleted file mode 100644 index 90bbcc78..00000000 --- a/Test/vacid0/Answer +++ /dev/null @@ -1,12 +0,0 @@ -
--------------------- 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 16 verified, 0 errors
|