From 5d082e8c0f8af8c6a589643ebe927c29abdd442d Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Fri, 23 Nov 2012 19:57:56 +0100
Subject: [PATCH] Works fine with a trivialsolver, now back to problematic case
---
src/main/scala/leon/synthesis/ParallelSearch.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/synthesis/ParallelSearch.scala b/src/main/scala/leon/synthesis/ParallelSearch.scala
index befda36d9..cbf374f7e 100644
--- a/src/main/scala/leon/synthesis/ParallelSearch.scala
+++ b/src/main/scala/leon/synthesis/ParallelSearch.scala
@@ -14,7 +14,7 @@ class ParallelSearch(synth: Synthesizer,
def initWorkerContext(wr: ActorRef) = {
val reporter = new SilentReporter
- val solver = new TrivialSolver(synth.reporter)
+ val solver = new FairZ3Solver(synth.reporter)
solver.setProgram(synth.program)
SynthesisContext(solver = solver, reporter = synth.reporter)
--
GitLab