diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-20 17:26:56 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | ac1d915190a56328b3e33428deadc4a8b185d0a6 (patch) | |
tree | 254e3d2199237b3b7bd811e1f989f35f11f10b93 /test/system | |
parent | db75dee2b0644e141fd076769b5f46275c61dff3 (diff) |
cmake: Added system tests and target make systemtests.
Diffstat (limited to 'test/system')
-rw-r--r-- | test/system/CMakeLists.txt | 27 |
1 files changed, 27 insertions, 0 deletions
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") |