diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-13 22:15:37 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-18 20:49:01 +0100 |
| commit | 5fccdf5ec4404f86ea575670285c381b4e5d2cd2 (patch) | |
| tree | b37dc30ffa8a41a1f05ad0beb28dc736743d0b37 /spec/rtems/event/req/send-receive.yml | |
| parent | spec: Add not pre-qualified constraints (diff) | |
| download | rtems-central-5fccdf5ec4404f86ea575670285c381b4e5d2cd2.tar.bz2 | |
spec: Add interface function links
Diffstat (limited to 'spec/rtems/event/req/send-receive.yml')
| -rw-r--r-- | spec/rtems/event/req/send-receive.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/spec/rtems/event/req/send-receive.yml b/spec/rtems/event/req/send-receive.yml index 082f8a30..7c84f87e 100644 --- a/spec/rtems/event/req/send-receive.yml +++ b/spec/rtems/event/req/send-receive.yml @@ -6,6 +6,8 @@ functional-type: action links: - role: requirement-refinement uid: group +- role: interface-function + uid: ../../type/if/no-timeout post-conditions: - name: SendStatus states: |