diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-17 11:37:27 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 6b8fa31e4ab33004308df0716c4e3d1cecd2ae55 (patch) | |
tree | fd0e8c1f5c5b8ff3ab541c4465f18522fe551302 /test/unit | |
parent | c1aa47eb07ceffde761362531f3607a7bb4157ea (diff) |
cmake: Add target units.
Diffstat (limited to 'test/unit')
-rw-r--r-- | test/unit/CMakeLists.txt | 3 | ||||
-rw-r--r-- | test/unit/base/CMakeLists.txt | 1 | ||||
-rw-r--r-- | test/unit/preprocessing/CMakeLists.txt | 1 |
3 files changed, 5 insertions, 0 deletions
diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt index 089e26303..57a50f52e 100644 --- a/test/unit/CMakeLists.txt +++ b/test/unit/CMakeLists.txt @@ -10,6 +10,7 @@ set(CVC4_CXXTEST_FLAGS_WHITE -fno-access-control ${CVC4_CXXTEST_FLAGS_BLACK}) macro(cvc4_add_unit_test is_white name) cxxtest_add_test(${name} ${name}.cpp ${CMAKE_CURRENT_LIST_DIR}/${name}.h) + set_tests_properties(${name} PROPERTIES LABELS "unit") target_link_libraries(${name} main) target_compile_definitions(${name} PRIVATE ${CVC4_CXXTEST_FLAGS_BLACK}) if(${is_white}) @@ -32,3 +33,5 @@ add_subdirectory(parser) add_subdirectory(prop) add_subdirectory(theory) add_subdirectory(util) + +add_custom_target(units COMMAND ctest -L "unit") diff --git a/test/unit/base/CMakeLists.txt b/test/unit/base/CMakeLists.txt new file mode 100644 index 000000000..4c2a0517e --- /dev/null +++ b/test/unit/base/CMakeLists.txt @@ -0,0 +1 @@ +cvc4_add_unit_test_black(map_util_black) diff --git a/test/unit/preprocessing/CMakeLists.txt b/test/unit/preprocessing/CMakeLists.txt new file mode 100644 index 000000000..fdd32be95 --- /dev/null +++ b/test/unit/preprocessing/CMakeLists.txt @@ -0,0 +1 @@ +cvc4_add_unit_test_white(pass_bv_gauss_white) |