[rtems-central commit] validation: The skip entry flag must be 0 or 1

[Sebastian Huber]

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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Thu Mar 25 07:00:17 2021 +0100

validation: The skip entry flag must be 0 or 1

---

 rtemsspec/validation.py | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/rtemsspec/validation.py b/rtemsspec/validation.py
index 2e38cf5..5a3e776 100644
--- a/rtemsspec/validation.py
+++ b/rtemsspec/validation.py
@@ -921,10 +921,11 @@ class TransitionMap:
 
     def _get_entry(self, ident: str, variant: Transition) -> str:
         text = "{ " + ", ".join(
-            itertools.chain(map(str, (variant.skip, ) + variant.pre_cond_na), (
-                (f"{ident}_Post_{self._post_co_idx_to_co_name[co_idx]}"
-                 f"_{self._post_co_idx_st_idx_to_st_name[co_idx][st_idx]}")
-                for co_idx, st_idx in enumerate(variant.post_cond))))
+            itertools.chain(
+                map(str, (int(variant.skip != 0), ) + variant.pre_cond_na),
+                ((f"{ident}_Post_{self._post_co_idx_to_co_name[co_idx]}"
+                  f"_{self._post_co_idx_st_idx_to_st_name[co_idx][st_idx]}")
+                 for co_idx, st_idx in enumerate(variant.post_cond))))
         wrapper = textwrap.TextWrapper()
         wrapper.initial_indent = "  "
         wrapper.subsequent_indent = "    "