Commit dbf27dc2 authored by Sarah Grebing's avatar Sarah Grebing

fixed some of the failing test cases

parent a745eb0d
Pipeline #13017 failed with stage
in 2 minutes and 52 seconds
......@@ -333,7 +333,7 @@ public class Interpreter<T> extends DefaultASTVisitor<Object>
*/
private VariableAssignment evaluateMatchInGoal(Expression matchExpression, GoalNode<T> goal) {
enterScope(matchExpression);
System.out.println("Goal to match " + goal.toCellTextForKeYData());
// System.out.println("Goal to match " + goal.toCellTextForKeYData());
MatchEvaluator mEval = new MatchEvaluator(goal.getAssignments(), goal, matcherApi);
mEval.getEntryListeners().addAll(entryListeners);
mEval.getExitListeners().addAll(exitListeners);
......
......@@ -18,7 +18,7 @@ import java.util.List;
public class ControlFlowVisitorTest {
@Test
public void test() throws IOException {
ScriptLanguageParser a = Facade.getParser(CharStreams.fromStream(getClass().getResourceAsStream("/edu/kit/formal/interpreter/simple1.txt")));
ScriptLanguageParser a = Facade.getParser(CharStreams.fromStream(getClass().getResourceAsStream("/edu/kit/formal/psdb/interpreter/simple1.txt")));
List<ProofScript> scripts = (List<ProofScript>) a.start().accept(new TransformAst());
ProofScript s = scripts.get(0);
ControlFlowVisitor pfv = new ControlFlowVisitor(new DefaultLookup());
......
......@@ -54,7 +54,7 @@ public class InterpreterTest {
defaultLookup.getBuilders().add(new AssertionCommand());
defaultLookup.getBuilders().add(new AssertionEqCommand());
ProofScriptHandler scriptHandler = new ProofScriptHandler(scripts);
scriptHandler.getSearchPath().add(new File("src/test/resources/edu/kit/formal/interpreter/"));
scriptHandler.getSearchPath().add(new File("src/test/resources/edu/kit/formal/psdb/interpreter/"));
defaultLookup.getBuilders().add(scriptHandler);
return defaultLookup;
}
......
......@@ -36,7 +36,7 @@ public class KeYInterpreterTest {
@Test
public void testIsClosable() throws IOException, ProblemLoaderException {
facade.loadKeyFileSync(new File("src/test/resources/edu/kit/formal/interpreter/contraposition/contraposition.key"));
facade.loadKeyFileSync(new File("src/test/resources/edu/kit/formal/psdb/interpreter/contraposition/contraposition.key"));
Interpreter<KeyData> i = execute(getClass().getResourceAsStream("contraposition/testIsClosable.kps"));
List<GoalNode<KeyData>> goals = i.getCurrentState().getGoals();
Assert.assertEquals(2, goals.size());
......
......@@ -18,7 +18,7 @@ public class KeyMatcherDerivableTest {
@Test
public void derivable_test_1() throws Exception {
KeYProofFacade f = new KeYProofFacade();
f.loadKeyFile(new File("src/test/resources/edu/kit/formal/parser/derivable_test_1.key"));
f.loadKeyFileSync(new File("src/test/resources/edu/kit/formal/psdb/parser/derivable_test_1.key"));
Proof proof = f.getProof();
Goal g = proof.getGoal(proof.root());
......
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