Added test-case

souffle-lang · Mar 9, 2022 · 2b50c6f · 2b50c6f
1 parent 36d74c4
commit 2b50c6f
Show file tree

Hide file tree

Showing 3 changed files with 28 additions and 0 deletions.
diff --git a/tests/semantic/subsumption_multiple_rules/AF.csv b/tests/semantic/subsumption_multiple_rules/AF.csv
@@ -0,0 +1 @@
+1
diff --git a/tests/semantic/subsumption_multiple_rules/subsumption_multiple_rules.dl b/tests/semantic/subsumption_multiple_rules/subsumption_multiple_rules.dl
@@ -85,3 +85,21 @@ F(x1) <= F(x2) :-
    x1 <= x2.
 
 .output F
+
+// build full comparator for all indices in a relation
+
+.decl G(from:number, to:number)
+G(1, 1).
+
+.decl R(a: number, b: number)
+R(2,2).
+
+.decl ES(x:number, y:number) btree_delete
+ES(1,1).
+ES(1,2).
+ES(_, x1) <= ES(_, x2) :- x1 <= x2.
+
+.decl AF(a:number)
+AF(b) :- G(g, b), !R(b, d), ES(d, a), ES(d, e).
+.output AF
+
diff --git a/tests/semantic/subsumption_multiple_rules/subsumption_multiple_rules.err b/tests/semantic/subsumption_multiple_rules/subsumption_multiple_rules.err
@@ -0,0 +1,9 @@
+Warning: Variable g only occurs once in file subsumption_multiple_rules.dl at line 103
+AF(b) :- G(g, b), !R(b, d), ES(d, a), ES(d, e).
+-----------^------------------------------------
+Warning: Variable a only occurs once in file subsumption_multiple_rules.dl at line 103
+AF(b) :- G(g, b), !R(b, d), ES(d, a), ES(d, e).
+----------------------------------^-------------
+Warning: Variable e only occurs once in file subsumption_multiple_rules.dl at line 103
+AF(b) :- G(g, b), !R(b, d), ES(d, a), ES(d, e).
+--------------------------------------------^---