From 4cdebe4df98350214080940dbadeaf7c0c6e3c6f Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Thu, 6 Dec 2012 19:03:13 +0100
Subject: [PATCH] Fix number of '-'s
---
src/main/scala/leon/synthesis/SynthesisPhase.scala | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/synthesis/SynthesisPhase.scala b/src/main/scala/leon/synthesis/SynthesisPhase.scala
index 1f584efa4..c9c7b25eb 100644
--- a/src/main/scala/leon/synthesis/SynthesisPhase.scala
+++ b/src/main/scala/leon/synthesis/SynthesisPhase.scala
@@ -119,9 +119,13 @@ object SynthesisPhase extends LeonPhase[Program, Program] {
}
} else {
for ((chs, (fd, ex)) <- chooseToExprs) {
- ctx.reporter.info("-"*32+" In "+fd.id.toString+", synthesis of: "+"-"*32)
+ val middle = " In "+fd.id.toString+", synthesis of: "
+
+ val remSize = (80-middle.length)
+
+ ctx.reporter.info("-"*math.floor(remSize/2).toInt+middle+"-"*math.ceil(remSize/2).toInt)
ctx.reporter.info(chs)
- ctx.reporter.info("-"*35+" Result: "+"-"*35)
+ ctx.reporter.info("-"*35+" Result: "+"-"*36)
ctx.reporter.info(ScalaPrinter(ex))
ctx.reporter.info("")
}
--
GitLab