diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-18 19:22:22 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-18 19:22:22 -0700 |
commit | e57e2c8911d0b39a59aad29330466c93c8081506 (patch) | |
tree | 487b04c6f2b71e39b29da791eadbeefdf4cd6539 /test/regress/CMakeLists.txt | |
parent | 547bd91e189b28da9950e12037d1e88079157479 (diff) |
cmake: Run regression level 2 for make check. (#2645)
Diffstat (limited to 'test/regress/CMakeLists.txt')
-rw-r--r-- | test/regress/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
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) |