Add a unit test validating parsing errors

potassco · Apr 25, 2024 · 12f198e · 12f198e
1 parent 232d5d9
commit 12f198e
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 0 deletions.
diff --git a/tests/ui/translate/tau_star/examples/parsing_error/program.lp b/tests/ui/translate/tau_star/examples/parsing_error/program.lp
@@ -0,0 +1,3 @@
+p(X) :- q(X).
+p(X) :- q(X++1), not r(X).
+q :- t.
diff --git a/tests/ui/translate/tau_star/examples/parsing_error/stderr b/tests/ui/translate/tau_star/examples/parsing_error/stderr
@@ -0,0 +1,9 @@
+Error: could not parse file `tests/ui/translate/tau_star/examples/parsing_error/program.lp`
+
+Caused by:
+     --> 2:13
+      |
+    2 | p(X) :- q(X++1), not r(X).
+      |             ^---
+      |
+      = expected precomputed_term, variable, or negative
diff --git a/tests/ui/translate/tau_star/examples/parsing_error/stdout b/tests/ui/translate/tau_star/examples/parsing_error/stdout