From 5a3ea7c412aeefd3c3a431c04ea41c67be509a41 Mon Sep 17 00:00:00 2001 From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch> Date: Mon, 29 Jun 2015 14:14:48 +0200 Subject: [PATCH] Failed VC should be a warning --- .../scala/leon/verification/VerificationCondition.scala | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/main/scala/leon/verification/VerificationCondition.scala b/src/main/scala/leon/verification/VerificationCondition.scala index 2063902c2..cbec63027 100644 --- a/src/main/scala/leon/verification/VerificationCondition.scala +++ b/src/main/scala/leon/verification/VerificationCondition.scala @@ -53,8 +53,8 @@ case class VCResult(status: VCStatus, solvedWith: Option[Solver], timeMs: Option reporter.info(" => VALID") case VCStatus.Invalid(cex) => - reporter.error(" => INVALID") - reporter.error("Found counter-example:") + reporter.warning(" => INVALID") + reporter.warning("Found counter-example:") // We use PrettyPrinter explicitly and not ScalaPrinter: printing very // large arrays faithfully in ScalaPrinter is hard, while PrettyPrinter @@ -67,10 +67,10 @@ case class VCResult(status: VCStatus, solvedWith: Option[Solver], timeMs: Option val max = strings.map(_._1.size).max for ((id, v) <- strings) { - reporter.error((" %-"+max+"s -> %s").format(id, v)) + reporter.warning((" %-"+max+"s -> %s").format(id, v)) } } else { - reporter.error(f" (Empty counter-example)") + reporter.warning(f" (Empty counter-example)") } case _ => reporter.warning(" => "+status.name.toUpperCase) -- GitLab