Skip to content
Snippets Groups Projects
Commit 26ea3d4c authored by Manos Koukoutos's avatar Manos Koukoutos
Browse files

Merge pull request #190 from larsrh/topic/print 

print verification report after Isabelle phase
parents 30a45685 ae03f384
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/Main.scala
+ 1
− 1
View file @ 26ea3d4c
...@@ -204,7 +204,7 @@ object Main { ...@@ -204,7 +204,7 @@ object Main {
else if (repairF) RepairPhase else if (repairF) RepairPhase
else if (analysisF) Pipeline.both(verification, termination) else if (analysisF) Pipeline.both(verification, termination)
else if (terminationF) termination else if (terminationF) termination
else if (isabelleF) IsabellePhase else if (isabelleF) IsabellePhase andThen PrintReportPhase
else if (evalF) EvaluationPhase else if (evalF) EvaluationPhase
else if (inferInvF) InferInvariantsPhase else if (inferInvF) InferInvariantsPhase
else if (instrumentF) InstrumentationPhase andThen FileOutputPhase else if (instrumentF) InstrumentationPhase andThen FileOutputPhase
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment