change symbolic-constructor flag to symbolic-immutables (#2580)

runtimeverification · Aug 14, 2024 · 01bf46d · 01bf46d
1 parent c4ed5b2
commit 01bf46d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/kevm-pyk/src/kevm_pyk/cli.py b/kevm-pyk/src/kevm_pyk/cli.py
@@ -1087,11 +1087,11 @@ def explore_args(self) -> ArgumentParser:
             help='Store a node for every EVM basic block (implies --break-on-calls).',
         )
         args.add_argument(
-            '--symbolic-constructor',
+            '--symbolic-immutables',
             dest='break_on_load_program',
             default=None,
             action='store_true',
-            help='Enable support for symbolic parameters in Solidity constructor code.',
+            help='Enable support for symbolic immutable variables in Solidity code.',
         )
         args.add_argument(
             '--max-depth',