1 files changed, 32 insertions, 0 deletions
diff --git a/Test/dafnyCompiler/Answer b/Test/dafnyCompiler/Answer
new file mode 100644
index 00000000..11e295fc
--- /dev/null
+++ b/Test/dafnyCompiler/Answer
@@ -0,0 +1,32 @@
+----- Running regression test ..\dafny0 (without runtime checking)
+..\dafny0 Succeeded
+----- Running regression test ..\dafny1 (without runtime checking)
+..\dafny1 Succeeded
+----- Running regression test ..\dafny2 (without runtime checking)
+..\dafny2 Succeeded
+----- Running regression test ..\dafnyRuntimeChecking (without runtime checking)
+..\dafnyRuntimeChecking Succeeded
+----- Running regression test ..\VSI-Benchmarks (without runtime checking)
+..\VSI-Benchmarks Succeeded
+----- Running regression test ..\vacid0 (without runtime checking)
+..\vacid0 Succeeded
+----- Running regression test ..\vstte2012 (without runtime checking)
+..\vstte2012 Succeeded
+----- Running regression test ..\VSComp2010 (without runtime checking)
+..\VSComp2010 Succeeded
+----- Running regression test ..\dafny0 (with runtime checking)
+..\dafny0 Succeeded
+----- Running regression test ..\dafny1 (with runtime checking)
+..\dafny1 Succeeded
+----- Running regression test ..\dafny2 (with runtime checking)
+..\dafny2 Succeeded
+----- Running regression test ..\dafnyRuntimeChecking (with runtime checking)
+..\dafnyRuntimeChecking Succeeded
+----- Running regression test ..\VSI-Benchmarks (with runtime checking)
+..\VSI-Benchmarks Succeeded
+----- Running regression test ..\vacid0 (with runtime checking)
+..\vacid0 Succeeded
+----- Running regression test ..\vstte2012 (with runtime checking)
+..\vstte2012 Succeeded
+----- Running regression test ..\VSComp2010 (with runtime checking)
+..\VSComp2010 Succeeded