diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-11 07:52:27 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-11 07:53:24 +0100 |
commit | bc0a85723c7b8f4cf5af2735173b5334623bb259 (patch) | |
tree | 5191e6f3fdc6f5abd75624e861dd35958ed3c198 /eng | |
parent | eng: Clarify how-to for action requirements (diff) | |
download | rtems-docs-bc0a85723c7b8f4cf5af2735173b5334623bb259.tar.bz2 |
eng: Clarify how-to for action requirements
Bring how-to in line with current action requirements.
Update #3715.
Diffstat (limited to 'eng')
-rw-r--r-- | eng/req/howto.rst | 18 |
1 files 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. |