diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-23 17:42:37 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-23 17:42:50 +0100 |
commit | f411e8cb2483b18b0ed74f76e4640607cb90031b (patch) | |
tree | 7e9fdc97d2287991ac55805a1d779c527264cd17 | |
parent | modules: Update rtems (diff) | |
download | rtems-central-f411e8cb2483b18b0ed74f76e4640607cb90031b.tar.bz2 |
specview.py: Remove unused variable
-rwxr-xr-x | specview.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/specview.py b/specview.py index 12dc0b46..964bacfa 100755 --- a/specview.py +++ b/specview.py @@ -172,8 +172,11 @@ def _is_pre_qualified(item: Item) -> bool: set(parent.uid for parent in item.parents("constraint")).intersection( _NOT_PRE_QUALIFIED)) + def _validation_count(item: Item, enabled: List[str]) -> int: - return len(list(child for child in item.children("validation") if child.is_enabled(enabled))) + return len( + list(child for child in item.children("validation") + if child.is_enabled(enabled))) def _validate(item: Item, enabled: List[str]) -> bool: @@ -187,7 +190,6 @@ def _validate(item: Item, enabled: List[str]) -> bool: for parent in item.parents(_PARENT_ROLES): validated = _validate(parent, enabled) and validated count += 1 - dep_val = validated pre_qualified = _is_pre_qualified(item) item["_pre_qualified"] = pre_qualified if count == 0: |