From 961072ecfa058b316aad6d53cfd68cb28d7be79e Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 8 May 2015 14:56:36 +0200
Subject: [PATCH] Some style
---
src/main/scala/leon/verification/AnalysisPhase.scala | 11 +++++------
1 file changed, 5 insertions(+), 6 deletions(-)
diff --git a/src/main/scala/leon/verification/AnalysisPhase.scala b/src/main/scala/leon/verification/AnalysisPhase.scala
index 97def8981..2e0329a8a 100644
--- a/src/main/scala/leon/verification/AnalysisPhase.scala
+++ b/src/main/scala/leon/verification/AnalysisPhase.scala
@@ -3,7 +3,6 @@
package leon
package verification
-import purescala.Common._
import purescala.Definitions._
import purescala.Expressions._
import purescala.ExprOps._
@@ -25,7 +24,7 @@ object AnalysisPhase extends LeonPhase[Program,VerificationReport] {
val reporter = ctx.reporter
// Solvers selection and validation
- var baseSolverF = SolverFactory.getFromSettings(ctx, program)
+ val baseSolverF = SolverFactory.getFromSettings(ctx, program)
val solverF = timeout match {
case Some(sec) =>
@@ -88,10 +87,10 @@ object AnalysisPhase extends LeonPhase[Program,VerificationReport] {
}
def checkVCs(
- vctx: VerificationContext,
- vcs: Seq[VC],
- checkInParallel: Boolean = false,
- stopAfter: Option[(VC, VCResult) => Boolean] = None
+ vctx: VerificationContext,
+ vcs: Seq[VC],
+ checkInParallel: Boolean = false,
+ stopAfter: Option[(VC, VCResult) => Boolean] = None
): VerificationReport = {
val interruptManager = vctx.context.interruptManager
--
GitLab