cli.py: move --definition in kprove args

runtimeverification · Mar 21, 2024 · 9d3a87d · 9d3a87d
1 parent 1271b85
commit 9d3a87d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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,