diff options
Diffstat (limited to 'subprojects/language/src/test/java/tools/refinery/language/tests/formatting2/ProblemFormatterTest.java')
| -rw-r--r-- | subprojects/language/src/test/java/tools/refinery/language/tests/formatting2/ProblemFormatterTest.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/subprojects/language/src/test/java/tools/refinery/language/tests/formatting2/ProblemFormatterTest.java b/subprojects/language/src/test/java/tools/refinery/language/tests/formatting2/ProblemFormatterTest.java index f688d970..4a15f9de 100644 --- a/subprojects/language/src/test/java/tools/refinery/language/tests/formatting2/ProblemFormatterTest.java +++ b/subprojects/language/src/test/java/tools/refinery/language/tests/formatting2/ProblemFormatterTest.java | |||
| @@ -183,8 +183,8 @@ class ProblemFormatterTest { | |||
| 183 | } | 183 | } |
| 184 | 184 | ||
| 185 | @Test | 185 | @Test |
| 186 | void individualDeclarationTest() { | 186 | void atomDeclarationTest() { |
| 187 | testFormatter(" indiv a , b . ", "indiv a, b.\n"); | 187 | testFormatter(" atom a , b . ", "atom a, b.\n"); |
| 188 | } | 188 | } |
| 189 | 189 | ||
| 190 | @Test | 190 | @Test |
| @@ -194,7 +194,7 @@ class ProblemFormatterTest { | |||
| 194 | pred foo(node a). | 194 | pred foo(node a). |
| 195 | class Foo. | 195 | class Foo. |
| 196 | foo(n1, n2). | 196 | foo(n1, n2). |
| 197 | indiv i1. | 197 | atom i1. |
| 198 | !foo(i1, n1). | 198 | !foo(i1, n1). |
| 199 | pred bar(node a, node b). | 199 | pred bar(node a, node b). |
| 200 | pred quux(). | 200 | pred quux(). |
| @@ -207,7 +207,7 @@ class ProblemFormatterTest { | |||
| 207 | class Foo. | 207 | class Foo. |
| 208 | 208 | ||
| 209 | foo(n1, n2). | 209 | foo(n1, n2). |
| 210 | indiv i1. | 210 | atom i1. |
| 211 | !foo(i1, n1). | 211 | !foo(i1, n1). |
| 212 | 212 | ||
| 213 | pred bar(node a, node b). | 213 | pred bar(node a, node b). |