[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