diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-09-14 21:21:03 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-14 23:21:03 -0500 |
| commit | cdb338bb5c0fc033f6788549985c5a60ab1323b3 (patch) | |
| tree | fb6ce5e0c9f17d8fb5ed7c8141a21e037e859ecd /test/api/CMakeLists.txt | |
| parent | 2b5902b1c54b1a4717273d501333dd37b8715f9d (diff) | |
Rename system tests to api tests and remove obsolete Java test. (#5066)
Diffstat (limited to 'test/api/CMakeLists.txt')
| -rw-r--r-- | test/api/CMakeLists.txt | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/test/api/CMakeLists.txt b/test/api/CMakeLists.txt new file mode 100644 index 000000000..8d9110e9f --- /dev/null +++ b/test/api/CMakeLists.txt @@ -0,0 +1,57 @@ +include_directories(.) +include_directories(${PROJECT_SOURCE_DIR}/src) +include_directories(${PROJECT_SOURCE_DIR}/src/include) +include_directories(${CMAKE_BINARY_DIR}/src) + +#-----------------------------------------------------------------------------# +# Add target 'apitests', builds and runs +# > api tests + +add_custom_target(build-apitests) +add_dependencies(build-tests build-apitests) + +add_custom_target(apitests + COMMAND ctest --output-on-failure -L "api" -j${CTEST_NTHREADS} $$ARGS + DEPENDS build-apitests) + +set(CVC4_API_TEST_FLAGS + -D__BUILDING_CVC4_API_TEST -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS) + +macro(cvc4_add_api_test name) + add_executable(${name} ${name}.cpp) + target_link_libraries(${name} main-test) + target_compile_definitions(${name} PRIVATE ${CVC4_API_TEST_FLAGS}) + add_test(api/${name} ${CMAKE_CURRENT_BINARY_DIR}/${name}) + set_tests_properties(api/${name} PROPERTIES LABELS "api") + add_dependencies(build-apitests ${name}) +endmacro() + +cvc4_add_api_test(boilerplate) +cvc4_add_api_test(ouroborous) +cvc4_add_api_test(reset_assertions) +cvc4_add_api_test(sep_log_api) +cvc4_add_api_test(smt2_compliance) +# TODO(cvc4-projects#209): Add methods for retrieving statistics to new API +# cvc4_add_api_test(statistics) +cvc4_add_api_test(two_solvers) + +# if we've built using libedit, then we want the interactive shell tests +if (USE_EDITLINE) + + # Check for pexpect -- zero return code is success + execute_process( + COMMAND ${PYTHON_EXECUTABLE} -c "import pexpect" + RESULT_VARIABLE PEXPECT_RC + ERROR_QUIET + ) + + # Add the test if we have pexpect + if(PEXPECT_RC EQUAL 0) + add_test( + NAME interactive_shell + COMMAND + "${PYTHON_EXECUTABLE}" "${CMAKE_SOURCE_DIR}/test/api/interactive_shell.py" + WORKING_DIRECTORY "${CMAKE_BINARY_DIR}" + ) + endif() +endif() |