diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-20 18:40:27 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 6c21382d9fab8ab0fcb8e994554b079bdc2870a1 (patch) | |
tree | acce3d473ecf19ae7c2948feeee84a104c2067f9 /test | |
parent | 1a0e1cb98d303b5bd927ed33973b7bcff2c0a605 (diff) |
cmake: Enable parallel execution for test targets regress, units, systemtests.
Diffstat (limited to 'test')
-rw-r--r-- | test/regress/CMakeLists.txt | 2 | ||||
-rw-r--r-- | test/system/CMakeLists.txt | 2 | ||||
-rw-r--r-- | test/unit/CMakeLists.txt | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index ffb121b07..0d29ad52c 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -2026,4 +2026,4 @@ foreach(file ${regress_4_tests}) cvc4_add_regression_test(4 ${file}) endforeach() -add_custom_target(regress COMMAND ctest --output-on-failure -L "regress[0-1]") +add_custom_target(regress COMMAND ctest --output-on-failure -L "regress[0-1]" $(ARGS)) diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt index 7b7cd9fa3..694cad171 100644 --- a/test/system/CMakeLists.txt +++ b/test/system/CMakeLists.txt @@ -24,4 +24,4 @@ cvc4_add_system_test(statistics) cvc4_add_system_test(two_smt_engines) #TODO java test (needs bindings) -add_custom_target(systemtests COMMAND ctest --output-on-failure -L "system") +add_custom_target(systemtests COMMAND ctest --output-on-failure -L "system" $(ARGS)) diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt index 15ac63dd2..088dc7cc7 100644 --- a/test/unit/CMakeLists.txt +++ b/test/unit/CMakeLists.txt @@ -38,5 +38,5 @@ if(ENABLE_UNIT_TESTING) add_subdirectory(theory) add_subdirectory(util) - add_custom_target(units COMMAND ctest -L "unit") + add_custom_target(units COMMAND ctest -L "unit" $(ARGS)) endif() |