[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