From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 21 Aug 2018 00:26:56 +0000 (-0700)
Subject: cmake: Added system tests and target make systemtests.
X-Git-Tag: cvc5-1.0.0~4590
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ac1d915190a56328b3e33428deadc4a8b185d0a6;p=cvc5.git

cmake: Added system tests and target make systemtests.
---

diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt
index e69de29bb..7b7cd9fa3 100644
--- a/test/system/CMakeLists.txt
+++ b/test/system/CMakeLists.txt
@@ -0,0 +1,27 @@
+include_directories(.)
+include_directories(${PROJECT_SOURCE_DIR}/src)
+include_directories(${PROJECT_SOURCE_DIR}/src/include)
+include_directories(${CMAKE_BINARY_DIR}/src)
+
+set(CVC4_SYSTEM_TEST_FLAGS
+  -D__BUILDING_CVC4_SYSTEM_TEST -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS)
+
+macro(cvc4_add_system_test name)
+  #  add_executable(${name} ${ARGN})
+  add_executable(${name} ${name}.cpp)
+  target_link_libraries(${name} main cvc4compat)
+  target_compile_definitions(${name} PRIVATE ${CVC4_SYSTEM_TEST_FLAGS})
+  add_test(system/${name} ${CMAKE_CURRENT_BINARY_DIR}/${name})
+  set_tests_properties(system/${name} PROPERTIES LABELS "system")
+endmacro()
+
+cvc4_add_system_test(boilerplate)
+cvc4_add_system_test(ouroborous)
+cvc4_add_system_test(reset_assertions)
+cvc4_add_system_test(sep_log_api)
+cvc4_add_system_test(smt2_compliance)
+cvc4_add_system_test(statistics)
+cvc4_add_system_test(two_smt_engines)
+#TODO java test (needs bindings)
+
+add_custom_target(systemtests COMMAND ctest --output-on-failure -L "system")