Add test case

souffle-lang · Dec 7, 2020 · 334028d · 334028d
1 parent fd5eb0c
commit 334028d
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/tests/semantic/rel_redundant/rel_redundant.err b/tests/semantic/rel_redundant/rel_redundant.err
@@ -0,0 +1,6 @@
+Warning: No rules/facts defined for relation hnwC in file rel_redundant.dl at line 38
+.decl hnwC(A:float)
+------^-------------
+Warning: No rules/facts defined for relation wvhB in file rel_redundant.dl at line 42
+.decl wvhB(A:float)
+------^-------------