Don't exit synthesis on wrong index

c63c1ecb · Emmanouil (Manos) Koukoutos · Etienne Kneuss · 976756c2 · c63c1ecb
Commit c63c1ecb authored 10 years ago by Emmanouil (Manos) Koukoutos Committed by Etienne Kneuss 10 years ago
--- 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)
+                    warning("Unknown path: "+ (path mkString "/"))
-                    res = Some(None)
+                    //res = Some(None)
-                    return None
+                    return findNodeToExpandFrom(from) 
                }
              }