From c051ffe3f390955be18ca94d22114f95d56ba2b9 Mon Sep 17 00:00:00 2001
From: Joris ten Tusscher <joristt@gmail.com>
Date: Tue, 16 Jan 2018 01:01:17 +0100
Subject: [PATCH] Removed rather pointless debugging line.
---
src/SimpleFormulaChecker.hs | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/SimpleFormulaChecker.hs b/src/SimpleFormulaChecker.hs
index bc2cbfd..535992e 100644
--- a/src/SimpleFormulaChecker.hs
+++ b/src/SimpleFormulaChecker.hs
@@ -245,5 +245,3 @@ testSpec method1@(_, name1) method2@(_, name2) n = do
let (lExpr1, lExpr2) = methodDefToLExpr m1 m2 "post"
postAns <- testEquality n lExpr1 lExpr2
return $ preAns && postAns
-
-res = testSpec ("examples/javawlp_edsl/src/nl/uu/javawlp_edsl/Main.java", "swap_spec1") ("examples/javawlp_edsl/src/nl/uu/javawlp_edsl/Main.java", "swap_spec2")
--
GitLab