diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-08 13:57:42 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-08 13:57:42 +0200 |
| commit | 67ad8f7c7efbbdf3dd40b35598ed6f0ae72c7e48 (patch) | |
| tree | 20c8e44242834d328631826161d5f5c67509e245 | |
| parent | modules: Update rtems (diff) | |
| download | rtems-central-67ad8f7c7efbbdf3dd40b35598ed6f0ae72c7e48.tar.bz2 | |
spec: Add requirement texts
| -rw-r--r-- | spec/rtems/event/req/send-receive.yml | 4 | ||||
| -rw-r--r-- | spec/rtems/req/ident-local.yml | 3 | ||||
| -rw-r--r-- | 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 0c306a39..78a8476d 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 2b7406c5..13829dc2 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 c2df762a..46cb5073 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: |