From 2b50c6f5fe10054190fb6c4d329b35bd755b123a Mon Sep 17 00:00:00 2001 From: Bernhard Scholz Date: Wed, 9 Mar 2022 20:13:17 +1100 Subject: [PATCH] Added test-case --- .../semantic/subsumption_multiple_rules/AF.csv | 1 + .../subsumption_multiple_rules.dl | 18 ++++++++++++++++++ .../subsumption_multiple_rules.err | 9 +++++++++ 3 files changed, 28 insertions(+) create mode 100644 tests/semantic/subsumption_multiple_rules/AF.csv diff --git a/tests/semantic/subsumption_multiple_rules/AF.csv b/tests/semantic/subsumption_multiple_rules/AF.csv new file mode 100644 index 00000000000..d00491fd7e5 --- /dev/null +++ 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 index dbc25a9070b..41b1b0bb874 100644 --- 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 index e69de29bb2d..3667c0d222c 100644 --- 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). +--------------------------------------------^---