bringing back kore-rpc-command (#767)

runtimeverification · Aug 12, 2024 · 06da0ec · 06da0ec
1 parent e4580c6
commit 06da0ec
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/kontrol/cli.py b/src/kontrol/cli.py
@@ -229,6 +229,12 @@ def rpc_args(self) -> ArgumentParser:
             action='store_true',
             help='Log traces of all simplification and rewrite rule applications.',
         )
+        args.add_argument(
+            '--kore-rpc-command',
+            dest='kore_rpc_command',
+            type=str,
+            help='Custom command to start RPC server.',
+        )
         args.add_argument(
             '--use-booster',
             dest='use_booster',