[rtems-central commit] validation: Clarify skip action transitions
Sebastian Huber
sebh at rtems.org
Fri Aug 7 09:12:43 UTC 2020
Module: rtems-central
Branch: master
Commit: 40bb555ee6b5eedb28b5b74c6b8bf51dad761cbc
Changeset: http://git.rtems.org/rtems-central/commit/?id=40bb555ee6b5eedb28b5b74c6b8bf51dad761cbc
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Fri Aug 7 11:09:29 2020 +0200
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 459f7cc..32402fe 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 8dddec9..d617cf7 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)
More information about the vc
mailing list