diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-24 11:04:56 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-24 13:13:51 +0200 |
| commit | bb951a86b11071dfda60fddbe6ae643db31bf4cd (patch) | |
| tree | f9396ac52d5abd731c196adda3b360987be0cd6b /spec/rtems/sem/req/release.yml | |
| parent | spec: Generalize semaphore release (diff) | |
| download | rtems-central-bb951a86b11071dfda60fddbe6ae643db31bf4cd.tar.bz2 | |
spec: Add "function-implementation" link role
Diffstat (limited to 'spec/rtems/sem/req/release.yml')
| -rw-r--r-- | spec/rtems/sem/req/release.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/spec/rtems/sem/req/release.yml b/spec/rtems/sem/req/release.yml index 09ad3df6..2f30836c 100644 --- a/spec/rtems/sem/req/release.yml +++ b/spec/rtems/sem/req/release.yml @@ -6,6 +6,10 @@ functional-type: action links: - role: interface-function uid: ../if/release +- role: function-implementation + uid: /score/mtx/req/surrender +- role: function-implementation + uid: /score/sem/req/surrender post-conditions: - name: Action states: |