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
5c27d73f
Commit
5c27d73f
authored
Jan 31, 2019
by
Sarah Grebing
Browse files
fixed testcase
parent
62844d6d
Pipeline
#39106
passed with stages
in 2 minutes and 37 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
rt-key/src/test/java/edu/kit/iti/formal/psdbg/interpreter/matcher/KeyMatcherFacadeTest.java
View file @
5c27d73f
...
...
@@ -62,7 +62,7 @@ public class KeyMatcherFacadeTest {
@Test
public
void
matchSeq
()
throws
Exception
{
//atm missing is catching the toplevel formula
shouldMatch
(
"pred(a), pred(b), a=b, a=c ==> pred(c)"
,
"pred(?X), ?X=?Y ==> "
,
"[?X=a, ?Y=b}, {?X=a, ?Y=c}]"
);
shouldMatch
(
"pred(a), pred(b), a=b, a=c ==> pred(c)"
,
"pred(?X), ?X=?Y ==> "
,
"[
{
?X=a, ?Y=b}, {?X=a, ?Y=c}]"
);
shouldMatch
(
"pred(a), pred(b), a=b, a=c ==> pred(c)"
,
"pred(?X), ?X=?Y ==> pred(?Y)"
,
"[{?X=a, ?Y=c}]"
);
shouldMatch
(
"!q==>p,!p"
,
"!q ==> p"
,
"[{}]"
);
...
...
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