diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-08-07 11:09:29 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-08-07 11:12:08 +0200 |
| commit | 40bb555ee6b5eedb28b5b74c6b8bf51dad761cbc (patch) | |
| tree | 43e9fe1aca490e8be555af047c47906b9f4b7d13 | |
| parent | spec: Update RTEMS_ZERO_LENGTH_ARRAY (diff) | |
| download | rtems-central-40bb555ee6b5eedb28b5b74c6b8bf51dad761cbc.tar.bz2 | |
validation: Clarify skip action transitions
| -rw-r--r-- | rtemsspec/tests/test_validation.py | 4 | ||||
| -rw-r--r-- | 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) |