Skip to content

P
ProofScriptParser
Commit bdef62d7 authored by Alexander Weigl's avatar Alexander Weigl
Browse files
Options

nicer test cases

parent c6b1c6a5
Pipeline #13424 failed with stage
    in 2 minutes and 36 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 4 additions and 3 deletions
    matcher/src/test/java/edu/kit/iti/formal/psdbg/termmatcher/MatcherFacadeTest.java
    View file @ bdef62d7
    ......@@ -41,14 +41,15 @@ public class MatcherFacadeTest {
    // shouldMatch("h2(2,3) = 0",
    // "?X=0", "[{?X= h2(2,3)}]");
    String s = "[{?X=h2(Z(2(#)),Z(3(#)))}]";
    shouldMatchSeq("h2(2,3) = 0 ==>",
    "?X=0 ==>", "[{?X= h2(2,3)}]");
    "?X=0 ==>", s);
    shouldMatchSeq("h2(2,3) = 0 ==> p, !p",
    "?X=0 ==>", "[{?X= h2(2,3)}]");
    "?X=0 ==>", s);
    shouldMatchSeq("2 >= 1, h2(1,2) = h2(2,3), h2(2,3) = 0 ==> p, !p",
    "?X=0 ==>", "[{?X= h2(2,3)}]");
    "?X=0 ==>", s);
    }
    @Test
    ......
    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