diff options
Diffstat (limited to 'rtemsspec/validation.py')
-rw-r--r-- | rtemsspec/validation.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rtemsspec/validation.py b/rtemsspec/validation.py index 8dddec91..d617cf75 100644 --- a/rtemsspec/validation.py +++ b/rtemsspec/validation.py @@ -408,7 +408,7 @@ class _TestDirectiveItem(_TestItem): else: info = ["1"] post_cond = tuple( - len(self._post_state_to_index[index]) - 1 + len(self._post_state_to_index[index]) for index in range(self._post_condition_count)) self._add_transitions(0, 0, transition, transition_map, info, post_cond) |