[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