Add --kore-rpc-command option to pyk prove

runtimeverification · Apr 30, 2024 · 2cc1a5f · 2cc1a5f
1 parent eb2cf93
commit 2cc1a5f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/pyk/src/pyk/cli/pyk.py b/pyk/src/pyk/cli/pyk.py
@@ -370,6 +370,13 @@ def create_argument_parser() -> ArgumentParser:
         type=int,
         help='Maximum number of KCFG explorations to take in attempting to discharge proof.',
     )
+    prove_args.add_argument(
+        '--kore-rpc-command',
+        dest='kore_rpc_command',
+        type=str,
+        default=None,
+        help='Custom command to start RPC server.',
+    )
 
     show_args = pyk_args_command.add_parser(
         'show',