From 40bb555ee6b5eedb28b5b74c6b8bf51dad761cbc Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Fri, 7 Aug 2020 11:09:29 +0200 Subject: validation: Clarify skip action transitions --- rtemsspec/tests/test_validation.py | 4 ++-- rtemsspec/validation.py | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/rtemsspec/tests/test_validation.py b/rtemsspec/tests/test_validation.py index 459f7cc0..32402fe4 100644 --- a/rtemsspec/tests/test_validation.py +++ b/rtemsspec/tests/test_validation.py @@ -1379,8 +1379,8 @@ static const uint8_t Action2_TransitionMap[][ 2 ] = { Action2_Post_A_Y, Action2_Post_B_X }, { - Action2_Post_A_Y, - Action2_Post_B_Y + Action2_Post_A_NA, + Action2_Post_B_NA } }; 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) -- cgit v1.2.3