Skip to content
Snippets Groups Projects
Commit 5d082e8c authored by Etienne Kneuss's avatar Etienne Kneuss
Browse files

Works fine with a trivialsolver, now back to problematic case

parent 6475e73d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/synthesis/ParallelSearch.scala
+ 1
− 1
View file @ 5d082e8c
...@@ -14,7 +14,7 @@ class ParallelSearch(synth: Synthesizer, ...@@ -14,7 +14,7 @@ class ParallelSearch(synth: Synthesizer,
def initWorkerContext(wr: ActorRef) = { def initWorkerContext(wr: ActorRef) = {
val reporter = new SilentReporter val reporter = new SilentReporter
val solver = new TrivialSolver(synth.reporter) val solver = new FairZ3Solver(synth.reporter)
solver.setProgram(synth.program) solver.setProgram(synth.program)
SynthesisContext(solver = solver, reporter = synth.reporter) SynthesisContext(solver = solver, reporter = synth.reporter)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment