Move the tests from behavior to semantic

souffle-lang · Feb 27, 2023 · 519c438 · 519c438
1 parent db6c30e
commit 519c438
Show file tree

Hide file tree

Showing 6 changed files with 7 additions and 16 deletions.
diff --git a/tests/CMakeLists.txt b/tests/CMakeLists.txt
@@ -19,4 +19,3 @@ add_subdirectory(profile)
 add_subdirectory(scheduler)
 add_subdirectory(link)
 add_subdirectory(libsouffle_interface)
-add_subdirectory(behavior)
diff --git a/tests/behavior/CMakeLists.txt b/tests/behavior/CMakeLists.txt
diff --git a/tests/semantic/CMakeLists.txt b/tests/semantic/CMakeLists.txt
@@ -18,6 +18,11 @@ function(positive_test NAME)
     souffle_positive_test(${NAME} semantic ${ARGN})
 endfunction()
 
+function(positive_output_stdout_test NAME)
+    souffle_run_test_helper(TEST_NAME ${NAME} CATEGORY semantic OUTPUT_STDOUT ${ARGV})
+    souffle_run_test_helper(TEST_NAME ${NAME} CATEGORY semantic OUTPUT_STDOUT ${ARGV} COMPILED)
+endfunction()
+
 function(negative_test NAME)
     souffle_negative_test(${NAME} semantic)
 endfunction()
@@ -259,4 +264,5 @@ positive_test(underscore5)
 negative_test(mutually_dependent_aggregate)
 positive_test(independent_aggregate)
 positive_test(independent_aggregate2)
-souffle_positive_functor_test(issue2373 CATEGORY semantic)
+souffle_positive_functor_test(issue2373 CATEGORY semantic)
+positive_output_stdout_test(output_stdout)
diff --git a/...s/behavior/output_stdout/output_stdout.dl → ...s/semantic/output_stdout/output_stdout.dl b/...s/behavior/output_stdout/output_stdout.dl → ...s/semantic/output_stdout/output_stdout.dl
diff --git a/.../behavior/output_stdout/output_stdout.err → .../semantic/output_stdout/output_stdout.err b/.../behavior/output_stdout/output_stdout.err → .../semantic/output_stdout/output_stdout.err
diff --git a/.../behavior/output_stdout/output_stdout.out → .../semantic/output_stdout/output_stdout.out b/.../behavior/output_stdout/output_stdout.out → .../semantic/output_stdout/output_stdout.out