diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-25 07:00:17 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-25 07:33:10 +0100 |
| commit | 69da35e458431b63ef359d5bd1598e19d04a2052 (patch) | |
| tree | 8118f5cbd282f4a0bcb2c26a5f2334aa6d95bd2a /rtemsspec | |
| parent | validation: Check more before discarding variants (diff) | |
| download | rtems-central-69da35e458431b63ef359d5bd1598e19d04a2052.tar.bz2 | |
validation: The skip entry flag must be 0 or 1
Diffstat (limited to 'rtemsspec')
| -rw-r--r-- | rtemsspec/validation.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/rtemsspec/validation.py b/rtemsspec/validation.py index 2e38cf55..5a3e776c 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 = " " |