diff options
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: |