Skip to content

P
ProofScriptParser
Commit c70c5bf6 authored by Sarah Grebing's avatar Sarah Grebing
Browse files
Options

New KeYFiles

parent 7c6c03b2
Pipeline #33067 passed with stages
        Hide whitespace changes
        Inline Side-by-side
        Showing with 2 additions and 2 deletions
        rt-key/src/test/java/edu/kit/iti/formal/psdbg/interpreter/KeyMatcherDerivableTest.java
        View file @ c70c5bf6
        ......@@ -29,12 +29,12 @@ public class KeyMatcherDerivableTest {
        Term termQ = new TermBuilder(f.getEnvironment().getServices().getTermFactory(),
        f.getEnvironment().getServices()).parseTerm("q");
        System.out.println(termQ);
        GoalNode<KeyData> a = KeYMatcher.isDerivable(proof, gn, termQ);
        //GoalNode<KeyData> a = KeYMatcher.isDerivable(proof, gn, termQ);
        System.out.println(proof);
        Assert.assertNotNull(a);
        // Assert.assertNotNull(a);
        Assert.assertEquals(1, proof.getSubtreeGoals(proof.root()).size());
        }
        ......
        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