Commit 6b3f4efe authored by Sarah Grebing's avatar Sarah Grebing

Bugfix repeat

parent 4ba1944a
...@@ -629,7 +629,7 @@ public class Interpreter<T> extends DefaultASTVisitor<Object> ...@@ -629,7 +629,7 @@ public class Interpreter<T> extends DefaultASTVisitor<Object>
Set<GoalNode<T>> prevNodes = new HashSet<>(prev.getGoals()); Set<GoalNode<T>> prevNodes = new HashSet<>(prev.getGoals());
Set<GoalNode<T>> endNodes = new HashSet<>(end.getGoals()); Set<GoalNode<T>> endNodes = new HashSet<>(end.getGoals());
b = prevNodes.equals(endNodes); b = prevNodes.equals(endNodes);
b = b && counter <= maxIterationsRepeat; b = !b && counter <= maxIterationsRepeat;
} while (b); } while (b);
} catch (InterpreterRuntimeException e) { } catch (InterpreterRuntimeException e) {
logger.debug("Catched!", e); logger.debug("Catched!", e);
......
...@@ -284,7 +284,8 @@ public class InteractiveModeController { ...@@ -284,7 +284,8 @@ public class InteractiveModeController {
if (ngoals.size() > 1) { if (ngoals.size() > 1) {
cases.get(findRoot(ngoals.get(0).node())).add(call); cases.get(findRoot(ngoals.get(0).node())).add(call);
cases.get(findRoot(ngoals.get(0).node())).add(new CasesStatement()); CasesStatement inner = new CasesStatement();
cases.get(findRoot(ngoals.get(0).node())).add(inner);
for (Goal newGoalNode : ngoals) { for (Goal newGoalNode : ngoals) {
KeyData kdn = new KeyData(kd, newGoalNode.node()); KeyData kdn = new KeyData(kd, newGoalNode.node());
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment