diff options
| -rw-r--r-- | lib/utils.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/utils.py b/lib/utils.py index 1c639ca..4850a53 100644 --- a/lib/utils.py +++ b/lib/utils.py @@ -345,6 +345,10 @@ def observations_enum_to_bool(observations: list, kconfig=False): def ignore_param(by_name: dict, parameter_names: list, ignored_parameters: list): ignored_indexes = list() unpoppable_params = list() + + if ignored_parameters is None: + return + for param_name in sorted(ignored_parameters): try: ignored_indexes.append(parameter_names.index(param_name)) |