diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-06-04 12:53:02 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-06-08 08:52:50 +0200 |
| commit | 0213e8efab9dcc1f0feac1a16d48f9ee2b6e43da (patch) | |
| tree | f2b505fd5b08c32be740f6d2a90c26e8f7401daf /eng/req/howto.rst | |
| parent | eng: Add generic attribute key types (diff) | |
| download | rtems-docs-0213e8efab9dcc1f0feac1a16d48f9ee2b6e43da.tar.bz2 | |
eng: Add a specification type for actions
Add support to specify functional requirements for actions (functions or
macros) via a transition map of pre-conditions to post-conditions. This
will be the work horse for functional requirements. Generation of
corresponding validation tests is supported.
Update #3715.
Diffstat (limited to 'eng/req/howto.rst')
0 files changed, 0 insertions, 0 deletions