Move --port arguments to rpc_args (#2178)

* Move `--port` arguments to `rpc_args` * Set Version: 1.0.359 * Set Version: 1.0.360 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]>
runtimeverification · Nov 16, 2023 · e07ab6d · e07ab6d
1 parent 4733156
commit e07ab6d
Show file tree

Hide file tree

Showing 4 changed files with 17 additions and 17 deletions.
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.359"
+version = "1.0.360"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -6,4 +6,4 @@
     from typing import Final
 
 
-VERSION: Final = '1.0.359'
+VERSION: Final = '1.0.360'
diff --git a/kevm-pyk/src/kevm_pyk/cli.py b/kevm-pyk/src/kevm_pyk/cli.py
@@ -172,6 +172,20 @@ def rpc_args(self) -> ArgumentParser:
             action='store_true',
             help="Use the booster RPC server instead of kore-rpc. Requires calling kompile with '--target haskell-booster' flag",
         )
+        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
 
     @cached_property
@@ -218,20 +232,6 @@ def explore_args(self) -> ArgumentParser:
             type=int,
             help='Number of times to expand the next pending node in the CFG.',
         )
-        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',
-        )
         args.add_argument(
             '--failure-information',
             dest='failure_info',

diff --git a/package/version b/package/version
@@ -1 +1 @@
-1.0.359
+1.0.360
Original file line number	Diff line number	Diff line change
Expand Up		@@ -6,4 +6,4 @@
		from typing import Final


		VERSION: Final = '1.0.359'
		VERSION: Final = '1.0.360'