Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
Commits
34685c33
Commit
34685c33
authored
Sep 11, 2017
by
Alexander Weigl
Browse files
a new test case for Matcher
parent
0ca93625
Changes
1
Hide whitespace changes
Inline
Side-by-side
matcher/src/test/java/edu/kit/iti/formal/psdbg/termmatcher/MatcherFacadeTest.java
View file @
34685c33
...
...
@@ -71,6 +71,9 @@ public class MatcherFacadeTest {
shouldMatch
(
"1*j"
,
"1 + ?Y"
,
"[]"
);
shouldMatch
(
"1*j"
,
"1 * ?Y"
,
"[{?Y=j}]"
);
shouldMatch
(
"1*j"
,
"?Y * 1"
,
"[{?Y=j}]"
);
//shouldMatch("f(a) ==> f(a), f(b)" , "==> f(?X)", [{?X=a}]);
//shouldMatch("f(a) ==> f(a), f(b)" , "f(a) ==> f(?X)", [{?X=a}]);
//shouldNotMatch("f(a) ==> f(a), f(b)" , "f(?X) ==> f(?X), f(a)");
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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