Skip to content
Snippets Groups Projects
Commit e81b64c9 authored by Manos Koukoutos's avatar Manos Koukoutos
Browse files

Use correct strategy

parent 56a5fcc4
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/Synthesizer.scala
+ 1
− 2
View file @ e81b64c9
...@@ -12,7 +12,6 @@ import leon.utils._ ...@@ -12,7 +12,6 @@ import leon.utils._
import scala.concurrent.duration._ import scala.concurrent.duration._
import synthesis.graph._
import synthesis.strategies._ import synthesis.strategies._
class Synthesizer(val context : LeonContext, class Synthesizer(val context : LeonContext,
...@@ -44,7 +43,7 @@ class Synthesizer(val context : LeonContext, ...@@ -44,7 +43,7 @@ class Synthesizer(val context : LeonContext,
strat1 strat1
} }
new Search(context, ci, problem, strat1) new Search(context, ci, problem, strat2)
} }
private var lastTime: Long = 0 private var lastTime: Long = 0
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment