From fd2078f959092791209fca9c8732fbed28e0f589 Mon Sep 17 00:00:00 2001
From: Daniel Friesel <daniel.friesel@uos.de>
Date: Fri, 10 Jun 2022 15:30:38 +0200
Subject: move filter-param to cli

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

(limited to 'lib')

diff --git a/lib/cli.py b/lib/cli.py
index 4c56e73..6b5b796 100644
--- a/lib/cli.py
+++ b/lib/cli.py
@@ -259,6 +259,14 @@ def add_standard_arguments(parser):
         type=str,
         help="Adjust parameter values before passing them to model generation",
     )
+    parser.add_argument(
+        "--filter-param",
+        metavar="<parameter name>=<parameter value>[,<parameter name>=<parameter value>...]",
+        type=str,
+        help="Only consider measurements where <parameter name> is <parameter value>. "
+        "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.",
+    )
 
 
 def parse_param_shift(raw_param_shift):
-- 
cgit v1.2.3