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

diff --git a/test/regress/cli/CMakeLists.txt b/test/regress/cli/CMakeLists.txt
index 5712c5c0b9620591b853d20dc1e60cee125d82a6..4177631234a1abcf630dde9c7f3857864b852fd7 100644 (file)
--- 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 d819a30d07325e283476c0cc0a7c1c5d9fa97425..838d07e9ba465ce6b634339e639f064deb036267 100755 (executable)
--- 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 == "":