From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 21 Aug 2018 01:40:27 +0000 (-0700)
Subject: cmake: Enable parallel execution for test targets regress, units, systemtests.
X-Git-Tag: cvc5-1.0.0~4588
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6c21382d9fab8ab0fcb8e994554b079bdc2870a1;p=cvc5.git

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

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()