From 30aa15ca61677b53db95cd7ee4210ae90c8b6d3c Mon Sep 17 00:00:00 2001 From: Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> Date: Mon, 25 Apr 2022 11:08:23 -0500 Subject: [PATCH] Add custom targets for specific testers. (#8653) This adds custom targets to run a specific tester (e.g., `regress-lfsc`). Signed-off-by: Abdalrhman M Mohamed --- test/regress/cli/CMakeLists.txt | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/test/regress/cli/CMakeLists.txt b/test/regress/cli/CMakeLists.txt index 212bcabca..9dc8e67ce 100644 --- a/test/regress/cli/CMakeLists.txt +++ b/test/regress/cli/CMakeLists.txt @@ -3202,6 +3202,24 @@ add_custom_target(regress ctest --output-on-failure -L "regress[0-2]" -j${CTEST_NTHREADS} $$ARGS DEPENDS build-regress) +set(testers + base + unsat-core + proof + lfsc + model + synth + abduct + dump +) + +foreach(tester ${testers}) + add_custom_target(regress-${tester} + COMMAND ${CMAKE_COMMAND} -E env RUN_REGRESSION_ARGS='--tester ${tester}' + ctest --output-on-failure -L "regress[0-2]" -j${CTEST_NTHREADS} $$ARGS + DEPENDS build-regress) +endforeach() + macro(cvc5_add_regression_test level file) add_test(${file} ${run_regress_script} -- 2.30.2