diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-05-05 14:41:20 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-05-08 21:58:56 +0200 |
commit | 8308df1e1d9bf6454820c00e5f025a010e8e909a (patch) | |
tree | b07d2f73ac868e5a23402fa329f4b872967f07cb /spec/rtems/event/req/send-receive.yml | |
parent | spec: Make design group identifier optional (diff) | |
download | rtems-central-8308df1e1d9bf6454820c00e5f025a010e8e909a.tar.bz2 |
spec: Add requirement for RTEMS_NO_TIMEOUT
Diffstat (limited to 'spec/rtems/event/req/send-receive.yml')
-rw-r--r-- | spec/rtems/event/req/send-receive.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/spec/rtems/event/req/send-receive.yml b/spec/rtems/event/req/send-receive.yml index 7c84f87e..082f8a30 100644 --- a/spec/rtems/event/req/send-receive.yml +++ b/spec/rtems/event/req/send-receive.yml @@ -6,8 +6,6 @@ functional-type: action links: - role: requirement-refinement uid: group -- role: interface-function - uid: ../../type/if/no-timeout post-conditions: - name: SendStatus states: |