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/system/CMakeLists.txt | |
parent | 1a0e1cb98d303b5bd927ed33973b7bcff2c0a605 (diff) |
cmake: Enable parallel execution for test targets regress, units, systemtests.
Diffstat (limited to 'test/system/CMakeLists.txt')
-rw-r--r-- | test/system/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |