1 files changed, 32 insertions, 0 deletions
diff --git a/Test/dafnyRuntimeChecking/AnswerRuntimeChecking b/Test/dafnyRuntimeChecking/AnswerRuntimeChecking
new file mode 100644
index 00000000..860dc843
--- /dev/null
+++ b/Test/dafnyRuntimeChecking/AnswerRuntimeChecking
@@ -0,0 +1,32 @@
+
+-------------------- AssumeStmt0 --------------------
+Compiled assembly into AssumeStmt0.exe
+Rewrote assembly into AssumeStmt0.exe
+
+-------------------- AssumeStmt1 --------------------
+Compiled assembly into AssumeStmt1.exe
+Rewrote assembly into AssumeStmt1.exe
+
+-------------------- AssertStmt0 --------------------
+Compiled assembly into AssertStmt0.exe
+Rewrote assembly into AssertStmt0.exe
+
+-------------------- AssertStmt1 --------------------
+Compiled assembly into AssertStmt1.exe
+Rewrote assembly into AssertStmt1.exe
+
+-------------------- Precondition0 --------------------
+Compiled assembly into Precondition0.exe
+Rewrote assembly into Precondition0.exe
+
+-------------------- Precondition1 --------------------
+Compiled assembly into Precondition1.exe
+Rewrote assembly into Precondition1.exe
+
+-------------------- Postcondition0 --------------------
+Compiled assembly into Postcondition0.exe
+Rewrote assembly into Postcondition0.exe
+
+-------------------- Postcondition1 --------------------
+Compiled assembly into Postcondition1.exe
+Rewrote assembly into Postcondition1.exe