cmake: Enable parallel execution for test targets regress, units, systemtests.

diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt
index ffb121b07e3cb8362793b2c2d0b9ad5098bdcfe8..0d29ad52cb4ee4a0c1d75f7d345ece96c34e33c2 100644 (file)
--- 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 7b7cd9fa33808e60be848a9851c746d1999485fc..694cad171382a2b152faaa8dc2029b82de534d9d 100644 (file)
--- 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 15ac63dd2c3c5339668bc7739760cc54ae46a85f..088dc7cc77db16efb3c04083e3c4a6982fbda1a9 100644 (file)
--- 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()