From 8348f51d7809a6c646522b69c542336749d99957 Mon Sep 17 00:00:00 2001 From: Philippe Suter <philippe.suter@gmail.com> Date: Fri, 26 Oct 2012 23:10:45 +0200 Subject: [PATCH] cosmetic --- src/main/scala/leon/verification/VerificationReport.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/scala/leon/verification/VerificationReport.scala b/src/main/scala/leon/verification/VerificationReport.scala index 16b651624..caf39d0eb 100644 --- a/src/main/scala/leon/verification/VerificationReport.scala +++ b/src/main/scala/leon/verification/VerificationReport.scala @@ -16,8 +16,8 @@ class VerificationReport(val conditions : Seq[VerificationCondition]) { conditions.map(VerificationReport.infoLine).mkString("\n", "\n", "\n") + VerificationReport.infoSep + ("║ total: %-4d valid: %-4d invalid: %-4d unknown %-4d " + - (" " * 18) + - " %-3.3f ║\n").format(totalConditions, totalValid, totalInvalid, totalUnknown, totalTime) + + (" " * 16) + + " %7.3f ║\n").format(totalConditions, totalValid, totalInvalid, totalUnknown, totalTime) + VerificationReport.infoFooter } else { "No verification conditions were analyzed." -- GitLab