From 6c21382d9fab8ab0fcb8e994554b079bdc2870a1 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Mon, 20 Aug 2018 18:40:27 -0700 Subject: [PATCH] cmake: Enable parallel execution for test targets regress, units, systemtests. --- test/regress/CMakeLists.txt | 2 +- test/system/CMakeLists.txt | 2 +- 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() -- 2.30.2