From 475691e3c460c5fd1e5dd5c45d4d80e2adaea50d Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Wed, 23 Aug 2023 22:50:47 +0000 Subject: [PATCH] kevm-pyk/__main__: default to no kore_rpc_command --- kevm-pyk/src/kevm_pyk/__main__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kevm-pyk/src/kevm_pyk/__main__.py b/kevm-pyk/src/kevm_pyk/__main__.py index e3432cb052..f3e8b6ba12 100644 --- a/kevm-pyk/src/kevm_pyk/__main__.py +++ b/kevm-pyk/src/kevm_pyk/__main__.py @@ -186,7 +186,7 @@ def exec_prove( break_every_step: bool = False, break_on_jumpi: bool = False, break_on_calls: bool = True, - kore_rpc_command: str | Iterable[str] = ('kore-rpc',), + kore_rpc_command: str | Iterable[str] | None = None, use_booster: bool = False, smt_timeout: int | None = None, smt_retry_limit: int | None = None,