add spec module in definition_args

runtimeverification · Apr 11, 2024 · 3475299 · 3475299
1 parent 68bffc5
commit 3475299
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/pyk/cli/args.py b/src/pyk/cli/args.py
@@ -381,6 +381,7 @@ def definition_args(self) -> ArgumentParser:
             type=str,
             help='Code selector expression to use when reading markdown.',
         )
+        args.add_argument('--spec-module', dest='spec_module', type=str, help='Module with claims to be proven.')
         return args
 
     @cached_property