diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-12 09:15:04 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 89042eec4f63f0aebd3e540dbca5e01714d152b4 (patch) | |
| tree | 748d4d337f265daa0e8110cd7032eb7618e00f9d /test/unit | |
| parent | 479aebfc657eb9bc90fad550f51ec3b3d2efec76 (diff) | |
cmake: Added target check
Targets 'check', 'units', 'systemtests' and 'regress' are now run in
parallel with the number of available cores by default. This can be
overriden by passing ARGS=-jN.
Diffstat (limited to 'test/unit')
| -rw-r--r-- | test/unit/CMakeLists.txt | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt index 3d2a08385..0123ae7ff 100644 --- a/test/unit/CMakeLists.txt +++ b/test/unit/CMakeLists.txt @@ -3,7 +3,12 @@ include_directories(${PROJECT_SOURCE_DIR}/src) include_directories(${PROJECT_SOURCE_DIR}/src/include) include_directories(${CMAKE_BINARY_DIR}/src) -add_custom_target(units COMMAND ctest -L "unit" $(ARGS)) +#-----------------------------------------------------------------------------# +# Add target 'units', builds and runs +# > unit tests + +add_custom_target(units + COMMAND ctest --output-on-failure -L "unit" -j${NTHREADS} $(ARGS)) set(CVC4_CXXTEST_FLAGS_BLACK -D__BUILDING_CVC4LIB_UNIT_TEST -D__BUILDING_CVC4PARSERLIB_UNIT_TEST |