summaryrefslogtreecommitdiff
path: root/Test/sanity/Answer
diff options
context:
space:
mode:
authorGravatar Rustan Leino <leino@microsoft.com>2012-11-20 18:36:42 -0800
committerGravatar Rustan Leino <leino@microsoft.com>2012-11-20 18:36:42 -0800
commit092c2aa86a8141a74cabb42b33a1234ee9681300 (patch)
tree73d059c23b9d864068b7e3496791b4f2f1dee947 /Test/sanity/Answer
parent04990f42dc81b2b46ceb81210278371c3d744a4f (diff)
Disengaged Dafny tests
Diffstat (limited to 'Test/sanity/Answer')
-rw-r--r--Test/sanity/Answer2
1 files changed, 0 insertions, 2 deletions
diff --git a/Test/sanity/Answer b/Test/sanity/Answer
index 98607529..6abb715b 100644
--- a/Test/sanity/Answer
+++ b/Test/sanity/Answer
@@ -1,4 +1,2 @@
Boogie program verifier finished with 1 verified, 0 errors
-
-Dafny program verifier finished with 10 verified, 0 errors