1 files changed, 0 insertions, 27 deletions
diff --git a/Test/dafny1/AnswerRuntimeChecking b/Test/dafny1/AnswerRuntimeChecking
deleted file mode 100644
index 1ade5aeb..00000000
--- a/Test/dafny1/AnswerRuntimeChecking
+++ /dev/null
@@ -1,27 +0,0 @@
-
--------------------- ListReverse --------------------
-Compiled assembly into ListReverse.dll
-Rewrote assembly into ListReverse.dll
-
--------------------- MatrixFun --------------------
-Compiled assembly into MatrixFun.exe
-Rewrote assembly into MatrixFun.exe
-
--------------------- pow2 --------------------
-Compiled assembly into pow2.dll
-Rewrote assembly into pow2.dll
-
--------------------- Cubes --------------------
-Compiled assembly into Cubes.dll
-Rewrote assembly into Cubes.dll
-
--------------------- Substitution --------------------
-Compiled assembly into Substitution.dll
-Rewrote assembly into Substitution.dll
-
--------------------- KatzManna --------------------
-Compiled assembly into KatzManna.dll
-Rewrote assembly into KatzManna.dll
-
--------------------- Rippling --------------------
-Compilation error: Arbitrary type ('FunctionValue') cannot be compiled