[rtems-central commit] validation: Check more before discarding variants

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    7b2399794f8fc6157759960f2fece0889e653ce9
Changeset: http://git.rtems.org/rtems-central/commit/?id=7b2399794f8fc6157759960f2fece0889e653ce9

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Thu Mar 25 06:59:24 2021 +0100

validation: Check more before discarding variants

---

 rtemsspec/validation.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/rtemsspec/validation.py b/rtemsspec/validation.py
index 6e655dc..2e38cf5 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(