From 77a9ae53ecbbdd558734d59956545669e4960e23 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 2 Apr 2015 13:13:11 +0200
Subject: [PATCH] It's a SolverFactory, not a Solver
---
src/main/scala/leon/verification/AnalysisPhase.scala | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/src/main/scala/leon/verification/AnalysisPhase.scala b/src/main/scala/leon/verification/AnalysisPhase.scala
index ea9cfceb7..fb335abee 100644
--- a/src/main/scala/leon/verification/AnalysisPhase.scala
+++ b/src/main/scala/leon/verification/AnalysisPhase.scala
@@ -183,16 +183,16 @@ object AnalysisPhase extends LeonPhase[Program,VerificationReport] {
}
// Solvers selection and validation
- val entrySolver = SolverFactory.getFromSettings(ctx, program)
+ val entrySolverFactory = SolverFactory.getFromSettings(ctx, program)
- val mainSolver = timeout match {
+ val mainSolverFactory = timeout match {
case Some(sec) =>
- new TimeoutSolverFactory(entrySolver, sec*1000L)
+ new TimeoutSolverFactory(entrySolverFactory, sec*1000L)
case None =>
- entrySolver
+ entrySolverFactory
}
- val vctx = VerificationContext(ctx, program, mainSolver, reporter)
+ val vctx = VerificationContext(ctx, program, mainSolverFactory, reporter)
reporter.debug("Running verification condition generation...")
val vcs = generateVerificationConditions(vctx, filterFuns)
--
GitLab