Add testcase releated to 443

knowsys · Sep 25, 2024 · 9a036d1 · 9a036d1
1 parent 3777c47
commit 9a036d1
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/resources/testcases/regression/planning_engine/arithmetic_chain/run.rls b/resources/testcases/regression/planning_engine/arithmetic_chain/run.rls
@@ -0,0 +1,9 @@
+%! Test related to 
+%! https://github.com/knowsys/nemo/issues/443
+
+A(1, 2).
+B(1, 10).
+
+C(?x, ?y * 5) :- A(?x, ?z), B(?x, ?v), ?y = ?z + ?v, ?y > 10 .
+
+@export C :- csv {}.
diff --git a/resources/testcases/regression/planning_engine/arithmetic_chain/run/C.csv b/resources/testcases/regression/planning_engine/arithmetic_chain/run/C.csv
@@ -0,0 +1 @@
+1,60