diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2022-11-10 12:44:53 +0100 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2022-11-10 12:44:53 +0100 |
commit | 3e523beabfdbf7ec54f59147f4db137299aeaaf3 (patch) | |
tree | d2395b8a40b51a88862ea2312a92bede2b420a20 /lib/cli.py | |
parent | ea40425ef3683143c50bf4e600b8fb7dec4c807b (diff) |
analyze-archive: add --ignore-param support
Diffstat (limited to 'lib/cli.py')
-rw-r--r-- | lib/cli.py | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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): |