From: Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Date: Mon, 25 Apr 2022 16:08:23 +0000 (-0500)
Subject: Add custom targets for specific testers. (#8653)
X-Git-Tag: cvc5-1.0.1~230
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=30aa15ca61677b53db95cd7ee4210ae90c8b6d3c;p=cvc5.git

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 <abdalrhman-mohamed@uiowa.edu>
---

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}