From 3e523beabfdbf7ec54f59147f4db137299aeaaf3 Mon Sep 17 00:00:00 2001
From: Daniel Friesel <daniel.friesel@uos.de>
Date: Thu, 10 Nov 2022 12:44:53 +0100
Subject: analyze-archive: add --ignore-param support

---
 lib/cli.py | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'lib')

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):
-- 
cgit v1.2.3