blob: 0ae2806d4cc6e6750ddd763a5743a6e5ed5b9792 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
include_directories(.)
include_directories(${PROJECT_SOURCE_DIR}/src)
include_directories(${PROJECT_SOURCE_DIR}/src/include)
include_directories(${CMAKE_BINARY_DIR}/src)
add_custom_target(systemtests COMMAND ctest --output-on-failure -L "system" $(ARGS))
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")
add_dependencies(systemtests ${name})
if(ENABLE_COVERAGE)
add_dependencies(coverage ${name})
endif()
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)
|
