From ae03f384ec0ee9713c71c49e161b22921b22cec9 Mon Sep 17 00:00:00 2001
From: Lars Hupel <lars.hupel@mytum.de>
Date: Wed, 23 Mar 2016 12:05:36 +0100
Subject: [PATCH] print verification report after Isabelle phase
5f9356b broke this, but I can't blame @manoskouk, the code was indeed
messy.
---
src/main/scala/leon/Main.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 1c1e52b17..393933277 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -204,7 +204,7 @@ object Main {
else if (repairF) RepairPhase
else if (analysisF) Pipeline.both(verification, termination)
else if (terminationF) termination
- else if (isabelleF) IsabellePhase
+ else if (isabelleF) IsabellePhase andThen PrintReportPhase
else if (evalF) EvaluationPhase
else if (inferInvF) InferInvariantsPhase
else if (instrumentF) InstrumentationPhase andThen FileOutputPhase
--
GitLab