From 4a616df6f3634350a1f53b982fb36eb5c67b66a0 Mon Sep 17 00:00:00 2001
From: Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Date: Thu, 28 Apr 2022 22:58:16 -0500
Subject: [PATCH] Add an option to enable all testers. (#8676)

---
 test/regress/cli/CMakeLists.txt    | 1 +
 test/regress/cli/run_regression.py | 5 ++++-
 2 files changed, 5 insertions(+), 1 deletion(-)

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 == "":
-- 
2.30.2