[rtems-docs commit] eng: Clarify how-to for action requirements

Sebastian Huber sebh at rtems.org
Thu Mar 11 06:53:59 UTC 2021


Module:    rtems-docs
Branch:    master
Commit:    bc0a85723c7b8f4cf5af2735173b5334623bb259
Changeset: http://git.rtems.org/rtems-docs/commit/?id=bc0a85723c7b8f4cf5af2735173b5334623bb259

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Thu Mar 11 07:52:27 2021 +0100

eng: Clarify how-to for action requirements

Bring how-to in line with current action requirements.

Update #3715.

---

 eng/req/howto.rst | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/eng/req/howto.rst b/eng/req/howto.rst
index a8133e8..8481214 100644
--- a/eng/req/howto.rst
+++ b/eng/req/howto.rst
@@ -481,19 +481,19 @@ the following post-condition states.
 
 .. code-block:: yaml
 
-    - name: SomeParam
+    - name: SomeParamVar
       states:
-      - name: Nop
-        test-code: |
-          /* Add code to check that the object was not modified. */
-        text: |
-          Objects referenced by the ${../if/directive:/params[0]/name}
-          parameter in past calls to ${../if/directive:/name} shall not be
-          accessed by the ${../if/directive:/name} call.
       - name: Set
         test-code: |
-          /* Add code to check that the object was set to a particular value. */
+          /* Add code to check that the object value was set to X */
         text: |
           The value of the object referenced by the
           ${../if/directive:/params[0]/name} parameter shall be set to X after
           the return of the ${../if/directive:/name} call.
+      - name: Nop
+        test-code: |
+          /* Add code to check that the object was not modified */
+        text: |
+          Objects referenced by the ${../if/directive:/params[0]/name}
+          parameter in past calls to ${../if/directive:/name} shall not be
+          accessed by the ${../if/directive:/name} call.



More information about the vc mailing list