From c63c1ecb54aff774b1c9f36503397039f117cea9 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Fri, 14 Nov 2014 15:59:39 +0100
Subject: [PATCH] Don't exit synthesis on wrong index
---
src/main/scala/leon/synthesis/graph/Search.scala | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/main/scala/leon/synthesis/graph/Search.scala b/src/main/scala/leon/synthesis/graph/Search.scala
index 03614a19b..02346a51e 100644
--- a/src/main/scala/leon/synthesis/graph/Search.scala
+++ b/src/main/scala/leon/synthesis/graph/Search.scala
@@ -274,9 +274,9 @@ class ManualSearch(ctx: LeonContext, problem: Problem, costModel: CostModel) ext
currentPath = currentPath.tail
case None =>
- error("Unknown path: "+path)
- res = Some(None)
- return None
+ warning("Unknown path: "+ (path mkString "/"))
+ //res = Some(None)
+ return findNodeToExpandFrom(from)
}
}
--
GitLab