diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/src/test/java/org/eclipse/viatra/solver/language/tests/ProblemParsingTest.xtend | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/language/src/test/java/org/eclipse/viatra/solver/language/tests/ProblemParsingTest.xtend b/language/src/test/java/org/eclipse/viatra/solver/language/tests/ProblemParsingTest.xtend index fcf05d1d..11bfc6d9 100644 --- a/language/src/test/java/org/eclipse/viatra/solver/language/tests/ProblemParsingTest.xtend +++ b/language/src/test/java/org/eclipse/viatra/solver/language/tests/ProblemParsingTest.xtend | |||
| @@ -42,13 +42,14 @@ class ProblemParsingTest { | |||
| 42 | } | 42 | } |
| 43 | 43 | ||
| 44 | % A child cannot have any dependents. | 44 | % A child cannot have any dependents. |
| 45 | error invalidTaxStatus(Person p) <=> | 45 | error invalidTaxStatus(Person p) <-> |
| 46 | taxStatus(p, child), children(p, _q). | 46 | taxStatus(p, child), children(p, _q). |
| 47 | 47 | ||
| 48 | Family('family'). | 48 | unique family. |
| 49 | members('family', anne): true. | 49 | Family(family). |
| 50 | members('family', bob). | 50 | members(family, anne): true. |
| 51 | members('family', ciri). | 51 | members(family, bob). |
| 52 | members(family, ciri). | ||
| 52 | children(anne, ciri). | 53 | children(anne, ciri). |
| 53 | ?children(bob, ciri). | 54 | ?children(bob, ciri). |
| 54 | taxStatus(anne, adult). | 55 | taxStatus(anne, adult). |