From 467737d8bb1931af883eda4005f6f0e9bbc8081b Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Mon, 24 Jun 2024 00:54:56 -0700
Subject: [PATCH] cli: deprecated --solver-parallel

---
 src/halmos/config.py | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/src/halmos/config.py b/src/halmos/config.py
index 5efd21fa..7eb56088 100644
--- a/src/halmos/config.py
+++ b/src/halmos/config.py
@@ -13,11 +13,12 @@
 internal = "internal"
 
 # groups
-debugging, solver, build, experimental = (
+debugging, solver, build, experimental, deprecated = (
     "Debugging options",
     "Solver options",
     "Build options",
     "Experimental options",
+    "Deprecated options",
 )
 
 
@@ -343,10 +344,6 @@ class Config:
         group=solver,
     )
 
-    solver_parallel: bool = arg(
-        help="run assertion solvers in parallel", global_default=False, group=solver
-    )
-
     solver_threads: int = arg(
         help="set the number of threads for parallel solvers",
         metavar="N",
@@ -381,6 +378,14 @@ class Config:
         group=experimental,
     )
 
+    ### Deprecated
+
+    solver_parallel: bool = arg(
+        help="(Deprecated; no-op; use --solver-threads instead) run assertion solvers in parallel",
+        global_default=False,
+        group=deprecated,
+    )
+
     ### Methods
 
     def __getattribute__(self, name):