From fad34eb2718544118119a5ae36c526c3c86075b1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Thu, 26 Apr 2012 20:17:39 +0200
Subject: [PATCH] using Logger instead of println
---
src/main/scala/leon/InductionTactic.scala | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/src/main/scala/leon/InductionTactic.scala b/src/main/scala/leon/InductionTactic.scala
index 3bd7010f2..1d30adddf 100644
--- a/src/main/scala/leon/InductionTactic.scala
+++ b/src/main/scala/leon/InductionTactic.scala
@@ -131,8 +131,8 @@ class InductionTactic(reporter: Reporter) extends DefaultTactic(reporter) {
}
case _ => scala.sys.error("Abstract class has non-case class subtype")
}))
- println("Induction tactic yields the following VCs:")
- println(conditionsForEachChild.map(vc => vc.condition).mkString("\n"))
+ Logger.debug("Induction tactic yields the following VCs:\n" +
+ conditionsForEachChild.map(vc => vc.condition).mkString("\n"), 4, "induction")
conditionsForEachChild
}).toSeq
@@ -140,10 +140,6 @@ class InductionTactic(reporter: Reporter) extends DefaultTactic(reporter) {
} else {
Seq.empty
}
-
- // println("PRECS VCs FOR " + function.id.name)
- // println(toRet.toList.map(vc => vc.posInfo + " -- " + vc.condition).mkString("\n\n"))
-
toRet
}
case None => {
--
GitLab