Move --port args to rpc_args (#189)

* Move `--port` args to `rpc_args`; fix formatting * Set Version: 0.1.66 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Nov 20, 2023 · 5e05139 · 5e05139
1 parent 136a305
commit 5e05139
Show file tree

Hide file tree

Showing 5 changed files with 20 additions and 6 deletions.
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.65
+0.1.66
diff --git a/pyproject.toml b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kontrol"
-version = "0.1.65"
+version = "0.1.66"
 description = "Foundry integration for KEVM"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/src/kontrol/__init__.py b/src/kontrol/__init__.py
@@ -5,4 +5,4 @@
 if TYPE_CHECKING:
     from typing import Final
 
-VERSION: Final = '0.1.65'
+VERSION: Final = '0.1.66'
diff --git a/src/kontrol/__main__.py b/src/kontrol/__main__.py
@@ -634,8 +634,8 @@ def _parse_test_version_tuple(value: str) -> tuple[str, int | None]:
         action='append',
         help=(
             'Specify contract function(s) to test using a regular expression. This will match functions'
-            "based on their full signature,  e.g., 'ERC20Test.testTransfer(address,uint256)'. This option"
-            'can be used multiple times to add more functions to test.'
+            " based on their full signature,  e.g., 'ERC20Test.testTransfer(address,uint256)'. This option"
+            ' can be used multiple times to add more functions to test.'
         ),
     )
     prove_args.add_argument(

diff --git a/src/kontrol/cli.py b/src/kontrol/cli.py
@@ -80,7 +80,7 @@ def rpc_args(self) -> ArgumentParser:
             dest='kore_rpc_command',
             type=str,
             default=None,
-            help='Custom command to start RPC server',
+            help='Custom command to start RPC server.',
         )
         args.add_argument(
             '--use-booster',
@@ -89,4 +89,18 @@ def rpc_args(self) -> ArgumentParser:
             action='store_true',
             help='Use the booster RPC server instead of kore-rpc.',
         )
+        args.add_argument(
+            '--port',
+            dest='port',
+            type=int,
+            default=None,
+            help='Use existing RPC server on named port.',
+        )
+        args.add_argument(
+            '--maude-port',
+            dest='maude_port',
+            type=int,
+            default=None,
+            help='Use existing Maude RPC server on named port.',
+        )
         return args