diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-25 06:59:24 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-25 07:33:10 +0100 |
| commit | 7b2399794f8fc6157759960f2fece0889e653ce9 (patch) | |
| tree | 8d9adcdeddf68b9c970a13b3b9f960b14d1d4833 | |
| parent | specview.py: Discard duplicated rows due to N/A (diff) | |
| download | rtems-central-7b2399794f8fc6157759960f2fece0889e653ce9.tar.bz2 | |
validation: Check more before discarding variants
| -rw-r--r-- | rtemsspec/validation.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/rtemsspec/validation.py b/rtemsspec/validation.py index 6e655dc9..2e38cf55 100644 --- a/rtemsspec/validation.py +++ b/rtemsspec/validation.py @@ -852,7 +852,11 @@ class TransitionMap: f"{{{self._map_index_to_pre_conditions(map_idx)}}} " "defined by transition map descriptor " f"{transition_map[map_idx][0].desc_idx}") - if transition_map[map_idx][0].post_cond == variant.post_cond: + default = transition_map[map_idx][0] + if (default.post_cond, default.skip, + default.pre_cond_na) == (variant.post_cond, + variant.skip, + variant.pre_cond_na): return elif not isinstance(enabled_by, bool) or not enabled_by: raise ValueError( |