summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2022-06-10 15:30:38 +0200
committerDaniel Friesel <daniel.friesel@uos.de>2022-06-10 15:30:38 +0200
commitfd2078f959092791209fca9c8732fbed28e0f589 (patch)
tree886ddc9505c47686b8603278414ecde8e16787e0 /lib
parent26fb4b5b16538c3e6ff9251e0851daa33176a98e (diff)
move filter-param to cli
Diffstat (limited to 'lib')
-rw-r--r--lib/cli.py8
1 files changed, 8 insertions, 0 deletions
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):