Add regression test for issue 2426.

strRM · Nov 13, 2024 · 03c741f · 03c741f
1 parent 73edcf3
commit 03c741f
Show file tree

Hide file tree

Showing 5 changed files with 14 additions and 0 deletions.
diff --git a/tests/scheduler/CMakeLists.txt b/tests/scheduler/CMakeLists.txt
@@ -94,4 +94,5 @@ endfunction()
 if (NOT MSVC)
     souffle_add_scheduler_test(functionality)
     souffle_add_scheduler_test(eqrel)
+    souffle_add_scheduler_test(bug2426)
 endif()
diff --git a/tests/scheduler/bug2426/bug2426.dl b/tests/scheduler/bug2426/bug2426.dl
@@ -0,0 +1,9 @@
+.decl A(x:float)
+.decl B(x: unsigned)
+.decl res(a:float)
+.output res 
+
+A(-1).
+B(1).
+
+res(a) :- B(x), A(a).
diff --git a/tests/scheduler/bug2426/bug2426.err b/tests/scheduler/bug2426/bug2426.err
@@ -0,0 +1,3 @@
+Warning: Variable x only occurs once in file bug2426.dl at line 9
+res(a) :- B(x), A(a).
+------------^---------
diff --git a/tests/scheduler/bug2426/bug2426.out b/tests/scheduler/bug2426/bug2426.out
diff --git a/tests/scheduler/bug2426/res.csv b/tests/scheduler/bug2426/res.csv
@@ -0,0 +1 @@
+-1