summaryrefslogtreecommitdiff
path: root/lib/cli.py
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2022-11-10 12:44:53 +0100
committerDaniel Friesel <daniel.friesel@uos.de>2022-11-10 12:44:53 +0100
commit3e523beabfdbf7ec54f59147f4db137299aeaaf3 (patch)
treed2395b8a40b51a88862ea2312a92bede2b420a20 /lib/cli.py
parentea40425ef3683143c50bf4e600b8fb7dec4c807b (diff)
analyze-archive: add --ignore-param support
Diffstat (limited to 'lib/cli.py')
-rw-r--r--lib/cli.py6
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/cli.py b/lib/cli.py
index 3e8e638..e821d9a 100644
--- a/lib/cli.py
+++ b/lib/cli.py
@@ -267,6 +267,12 @@ def add_standard_arguments(parser):
"All other measurements (including those where it is None, that is, has not been set yet) are discarded. "
"Note that this may remove entire function calls from the model.",
)
+ parser.add_argument(
+ "--ignore-param",
+ metavar="<parameter name>[,<parameter name>,...]",
+ type=str,
+ help="Ignore listed parameters during model generation",
+ )
def parse_param_shift(raw_param_shift):