add regression test

knowsys · Dec 7, 2023 · 098c31d · 098c31d
1 parent c3aa8f3
commit 098c31d
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 0 deletions.
diff --git a/resources/testcases/regression/analysis/equality-chain/regression.yaml b/resources/testcases/regression/analysis/equality-chain/regression.yaml
@@ -0,0 +1,4 @@
+issue: 438
+title:  Debug Assert in Variable Order fails for rule with multiple constructors
+tracker: https://github.com/knowsys/nemo/issues/438
+type: bugfix
diff --git a/resources/testcases/regression/analysis/equality-chain/run.rls b/resources/testcases/regression/analysis/equality-chain/run.rls
@@ -0,0 +1,5 @@
+b(3). b(4).
+
+r(?x) :- b(?x), ?x = ?y, ?y = 3.
+
+@output r.
diff --git a/resources/testcases/regression/analysis/equality-chain/run/r.csv b/resources/testcases/regression/analysis/equality-chain/run/r.csv
@@ -0,0 +1 @@
+3