Add test case for issue 500

knowsys · Jul 4, 2024 · fabbd84 · fabbd84
1 parent 8125049
commit fabbd84
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/resources/testcases/regression/planning_engine/constants_filter/run.rls b/resources/testcases/regression/planning_engine/constants_filter/run.rls
@@ -0,0 +1,11 @@
+%%% Test related to 
+%%% https://github.com/knowsys/nemo/issues/500
+%%%
+%%% A panic was caused by having a filter consisting of constants
+
+pair(1, 2) .
+pair(3, 3) .
+
+equal(?x) :- pair(?x, ?y), c = d .
+
+@export equal :- csv {} .
diff --git a/resources/testcases/regression/planning_engine/constants_filter/run/equal.csv b/resources/testcases/regression/planning_engine/constants_filter/run/equal.csv