From 6e662b0924a35384c4c6ec559e4d98a5336a14c2 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Sat, 31 Aug 2013 18:00:45 +0200
Subject: [PATCH] Fix the obvious insect
---
src/main/scala/leon/synthesis/Synthesizer.scala | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/synthesis/Synthesizer.scala b/src/main/scala/leon/synthesis/Synthesizer.scala
index 3f53f26ab..a0232558e 100644
--- a/src/main/scala/leon/synthesis/Synthesizer.scala
+++ b/src/main/scala/leon/synthesis/Synthesizer.scala
@@ -94,7 +94,8 @@ class Synthesizer(val context : LeonContext,
val (npr, fds) = solutionToProgram(sol)
- val tsolver = new TimeoutSolver(solver, timeoutMs)
+ val tsolver = new TimeoutSolver(new FairZ3Solver(context), timeoutMs)
+ tsolver.setProgram(npr)
val vcs = generateVerificationConditions(reporter, npr, fds.map(_.id.name))
val vctx = VerificationContext(context, Seq(tsolver), context.reporter)
--
GitLab