Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
Commits
cba7c0f6
Commit
cba7c0f6
authored
Aug 24, 2017
by
Alexander Weigl
Browse files
fix test cases
parent
b29b50f2
Pipeline
#13055
failed with stage
in 2 minutes and 48 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
src/test/java/edu/kit/formal/psdb/termmatcher/MatcherFacadeTest.java
View file @
cba7c0f6
...
...
@@ -62,8 +62,12 @@ public class MatcherFacadeTest {
//shouldMatch("f(a)", "f(a) : ?Y", "[{?Y=f(a)}]");
//shouldMatch("f(g(a))", "_ \\as ?Y", "[{?Y=f(g(a))}]");
//shouldMatch("i+i+j", "(?X + ?Y) : ?Z", "[{?X=add(i,i), ?Y=j, ?Z=add(add(i,i),j)}]");
shouldMatch
(
"g(f(a))"
,
"g( (...a...):?Q ): ?Y"
,
"[{EMPTY_MATCH=null, ?Q=f(a), ?Y=g(f(a))}]"
);
shouldMatch
(
"f(f(g(a)))"
,
"f( (... g( (...a...):?Q ) ...) : ?R) : ?Y"
,
"[{
?X=add(i,i), ?Y=j, ?Z=add(add(i,i),j
)}]"
);
"[{
EMPTY_MATCH=null, ?Q=a, ?Y=f(f(g(a))), ?R=f(g(a)
)}]"
);
}
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment