diff options
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) |