[rtems-central commit] spec: Add requirement texts
Sebastian Huber
sebh at rtems.org
Wed Sep 8 11:56:18 UTC 2021
Module: rtems-central
Branch: master
Commit: 67ad8f7c7efbbdf3dd40b35598ed6f0ae72c7e48
Changeset: http://git.rtems.org/rtems-central/commit/?id=67ad8f7c7efbbdf3dd40b35598ed6f0ae72c7e48
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Wed Sep 8 13:57:42 2021 +0200
spec: Add requirement texts
---
spec/rtems/event/req/send-receive.yml | 4 +++-
spec/rtems/req/ident-local.yml | 3 ++-
spec/rtems/req/ident.yml | 3 ++-
3 files changed, 7 insertions(+), 3 deletions(-)
diff --git a/spec/rtems/event/req/send-receive.yml b/spec/rtems/event/req/send-receive.yml
index 0c306a3..78a8476 100644
--- a/spec/rtems/event/req/send-receive.yml
+++ b/spec/rtems/event/req/send-receive.yml
@@ -771,7 +771,9 @@ test-teardown:
DeleteWakeupSema( ctx->runner_wakeup );
RestoreRunnerPriority();
description: null
-text: ${.:text-template}
+text: |
+ When the event send and receive directive variants are called in the
+ specified system condition.
transition-map:
- enabled-by: true
post-conditions:
diff --git a/spec/rtems/req/ident-local.yml b/spec/rtems/req/ident-local.yml
index 2b7406c..13829dc 100644
--- a/spec/rtems/req/ident-local.yml
+++ b/spec/rtems/req/ident-local.yml
@@ -138,7 +138,8 @@ test-stop: null
test-support: null
test-target: testsuites/validation/tr-object-ident-local.c
test-teardown: null
-text: ${.:text-template}
+text: |
+ When the specified object identification directive is called.
transition-map:
- enabled-by: true
post-conditions:
diff --git a/spec/rtems/req/ident.yml b/spec/rtems/req/ident.yml
index c2df762..46cb507 100644
--- a/spec/rtems/req/ident.yml
+++ b/spec/rtems/req/ident.yml
@@ -199,7 +199,8 @@ test-stop: null
test-support: null
test-target: testsuites/validation/tr-object-ident.c
test-teardown: null
-text: ${.:text-template}
+text: |
+ When the specified object identification directive is called.
transition-map:
- enabled-by: true
post-conditions:
More information about the vc
mailing list