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 /src/main | |
| parent | 2b5902b1c54b1a4717273d501333dd37b8715f9d (diff) | |
Rename system tests to api tests and remove obsolete Java test. (#5066)
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/CMakeLists.txt b/src/main/CMakeLists.txt index 8c11acf3b..5138d79b5 100644 --- a/src/main/CMakeLists.txt +++ b/src/main/CMakeLists.txt @@ -31,8 +31,8 @@ add_dependencies(main cvc4 cvc4parser gen-tokens) get_target_property(LIBCVC4_INCLUDES cvc4 INCLUDE_DIRECTORIES) target_include_directories(main PRIVATE ${LIBCVC4_INCLUDES}) -# main-test library is only used for linking against system and unit tests so -# that we don't have to include all object files of main into each unit/system +# main-test library is only used for linking against api and unit tests so +# that we don't have to include all object files of main into each api/unit # test. Do not link against main-test in any other case. add_library(main-test driver_unified.cpp $<TARGET_OBJECTS:main>) target_compile_definitions(main-test PRIVATE -D__BUILDING_CVC4DRIVER) |