diff options
Diffstat (limited to 'test/regress/CMakeLists.txt')
| -rw-r--r-- | test/regress/CMakeLists.txt | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index fd4026dc0..c798af378 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -2091,9 +2091,12 @@ add_custom_target(regress macro(cvc4_add_regression_test level file) add_test(${file} ${run_regress_script} + --cmake ${RUN_REGRESSION_ARGS} ${path_to_cvc4}/cvc4 ${CMAKE_CURRENT_LIST_DIR}/${file}) - set_tests_properties(${file} PROPERTIES LABELS "regress${level}") + set_tests_properties(${file} PROPERTIES + LABELS "regress${level}" + SKIP_RETURN_CODE 77) endmacro() foreach(file ${regress_0_tests}) |