From dd789a3faaa7b500e277ec94239f9cbfa8eec92c Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Tue, 26 May 2015 14:16:34 +0200
Subject: [PATCH] One line at most, 35 chars at most
---
src/main/scala/leon/verification/VerificationReport.scala | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/verification/VerificationReport.scala b/src/main/scala/leon/verification/VerificationReport.scala
index ec8342f73..495ab09f7 100644
--- a/src/main/scala/leon/verification/VerificationReport.scala
+++ b/src/main/scala/leon/verification/VerificationReport.scala
@@ -25,8 +25,9 @@ case class VerificationReport(val results: Map[VC, Option[VCResult]]) {
def sizeLimit(str: String, limit: Int): String = {
require(limit > 3)
- if (str.length > limit) {
- str.substring(0, limit-3)+"..."
+ val res = str.takeWhile(_ != '\n').take(35)
+ if (res != str) {
+ res + "..."
} else {
str
}
--
GitLab