From: Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Date: Fri, 29 Apr 2022 03:58:16 +0000 (-0500)
Subject: Add an option to enable all testers. (#8676)
X-Git-Tag: cvc5-1.0.1~202
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4a616df6f3634350a1f53b982fb36eb5c67b66a0;p=cvc5.git

Add an option to enable all testers. (#8676)
---

diff --git a/test/regress/cli/CMakeLists.txt b/test/regress/cli/CMakeLists.txt
index 5712c5c0b..417763123 100644
--- a/test/regress/cli/CMakeLists.txt
+++ b/test/regress/cli/CMakeLists.txt
@@ -3206,6 +3206,7 @@ add_custom_target(regress
   DEPENDS build-regress)
 
 set(testers
+  all
   base
   unsat-core
   proof
diff --git a/test/regress/cli/run_regression.py b/test/regress/cli/run_regression.py
index d819a30d0..838d07e9b 100755
--- a/test/regress/cli/run_regression.py
+++ b/test/regress/cli/run_regression.py
@@ -722,9 +722,10 @@ def main():
     parser = argparse.ArgumentParser(
         description="Runs benchmark and checks for correct exit status and output."
     )
+    tester_choices = ["all"] + list(g_testers.keys())
     parser.add_argument("--use-skip-return-code", action="store_true")
     parser.add_argument("--skip-timeout", action="store_true")
-    parser.add_argument("--tester", choices=g_testers.keys(), action="append")
+    parser.add_argument("--tester", choices=tester_choices, action="append")
     parser.add_argument("--lfsc-binary", default="")
     parser.add_argument("--lfsc-sig-dir", default="")
     parser.add_argument("wrapper", nargs="*")
@@ -750,6 +751,8 @@ def main():
     testers = g_args.tester
     if not testers:
         testers = g_default_testers
+    elif "all" in testers:
+        testers = list(g_testers.keys())
 
     lfsc_sigs = []
     if not g_args.lfsc_sig_dir == "":