From 9d3a87d2511c2dc9b28a06792d7441899353860b Mon Sep 17 00:00:00 2001 From: Andrei Date: Thu, 21 Mar 2024 16:15:36 +0200 Subject: [PATCH] cli.py: move --definition in kprove args --- kevm-pyk/src/kevm_pyk/cli.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/kevm-pyk/src/kevm_pyk/cli.py b/kevm-pyk/src/kevm_pyk/cli.py index dcc5888c7f..ebc30f55ac 100644 --- a/kevm-pyk/src/kevm_pyk/cli.py +++ b/kevm-pyk/src/kevm_pyk/cli.py @@ -43,13 +43,13 @@ def target_args(self) -> ArgumentParser: @cached_property def k_args(self) -> ArgumentParser: args = super().definition_args - args.add_argument('--definition', type=dir_path, dest='definition_dir', help='Path to definition to use.') args.add_argument('--depth', default=None, type=int, help='Maximum depth to execute to.') return args @cached_property def kprove_args(self) -> ArgumentParser: args = ArgumentParser(add_help=False) + args.add_argument('--definition', type=dir_path, dest='definition_dir', help='Path to definition to use.') args.add_argument( '--debug-equations', type=list_of(str, delim=','), @@ -81,6 +81,7 @@ def kprove_args(self) -> ArgumentParser: @cached_property def kprove_legacy_args(self) -> ArgumentParser: args = ArgumentParser(add_help=False) + args.add_argument('--definition', type=dir_path, dest='definition_dir', help='Path to definition to use.') args.add_argument( '--bug-report', default=False,