Commit da250c6d authored by Sarah Grebing's avatar Sarah Grebing
Browse files

Bugfix repeat

parent ce52034f
Pipeline #17818 failed with stages
in 0 seconds
......@@ -629,7 +629,7 @@ public class Interpreter<T> extends DefaultASTVisitor<Object>
Set<GoalNode<T>> prevNodes = new HashSet<>(prev.getGoals());
Set<GoalNode<T>> endNodes = new HashSet<>(end.getGoals());
b = prevNodes.equals(endNodes);
b = b && counter <= maxIterationsRepeat;
b = !b && counter <= maxIterationsRepeat;
} while (b);
} catch (InterpreterRuntimeException e) {
logger.debug("Catched!", e);
......
......@@ -8,6 +8,7 @@ script test(){
andLeft;
eqSymm formula = `agatha = butler`;
nnf_imp2or formula=`\forall S w6;(hates(agatha,w6) -> hates(butler,w6))`;
auto;
}
......
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