diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/CMakeLists.txt | 2 | ||||
| -rw-r--r-- | test/regress/CMakeLists.txt | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index b2f138572..1970bb659 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -17,7 +17,7 @@ add_dependencies(build-tests examples) # Dependencies of check are added in the corresponding subdirectories. add_custom_target(check COMMAND - ctest --output-on-failure -LE "regress[2-4]" -j${CTEST_NTHREADS} $(ARGS) + ctest --output-on-failure -LE "regress[3-4]" -j${CTEST_NTHREADS} $(ARGS) DEPENDS build-tests) diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index cd98a8917..5d0459015 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -2097,7 +2097,7 @@ add_dependencies(build-tests build-regress) add_custom_target(regress COMMAND - ctest --output-on-failure -L "regress[0-1]" -j${CTEST_NTHREADS} $(ARGS) + ctest --output-on-failure -L "regress[0-2]" -j${CTEST_NTHREADS} $(ARGS) DEPENDS build-regress) macro(cvc4_add_regression_test level file) |