From f2943cb13f4d5ec21f575eae57f41997263d40f5 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 19 Dec 2012 18:06:30 +0100
Subject: [PATCH] Fix "minor" bug causing solvers to become autistic after the
first search is over.
---
src/main/scala/leon/synthesis/SimpleSearch.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/scala/leon/synthesis/SimpleSearch.scala b/src/main/scala/leon/synthesis/SimpleSearch.scala
index d3ddd5153..d2b658bb2 100644
--- a/src/main/scala/leon/synthesis/SimpleSearch.scala
+++ b/src/main/scala/leon/synthesis/SimpleSearch.scala
@@ -71,6 +71,8 @@ class SimpleSearch(synth: Synthesizer,
var shouldStop = false
def search(): Option[Solution] = {
+ sctx.solver.init()
+
shouldStop = false
while (!g.tree.isSolved && !shouldStop) {
--
GitLab