diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-04-13 10:53:31 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-04-13 10:54:08 +0200 |
| commit | 671cd427d958fff69a16a1dee8cb34b8d59b19cb (patch) | |
| tree | d780454c6a6e682d007e81cb10bff66879e928fa | |
| parent | config.yml: Add extra files (diff) | |
| download | rtems-central-671cd427d958fff69a16a1dee8cb34b8d59b19cb.tar.bz2 | |
spec: Add custom action req texts
| -rw-r--r-- | spec/score/sem/req/seize-try.yml | 3 | ||||
| -rw-r--r-- | spec/score/sem/req/seize-wait.yml | 3 | ||||
| -rw-r--r-- | spec/score/tq/req/enqueue-fifo.yml | 3 | ||||
| -rw-r--r-- | spec/score/tq/req/enqueue-priority.yml | 3 |
4 files changed, 8 insertions, 4 deletions
diff --git a/spec/score/sem/req/seize-try.yml b/spec/score/sem/req/seize-try.yml index 5dbc5c87..f830d874 100644 --- a/spec/score/sem/req/seize-try.yml +++ b/spec/score/sem/req/seize-try.yml @@ -105,7 +105,8 @@ test-support: | } test-target: testsuites/validation/tr-sem-seize-try.c test-teardown: null -text: ${.:text-template} +text: | + When the calling task tries to seize the semaphore. transition-map: - enabled-by: true post-conditions: diff --git a/spec/score/sem/req/seize-wait.yml b/spec/score/sem/req/seize-wait.yml index 9b135ada..2cc2fdb1 100644 --- a/spec/score/sem/req/seize-wait.yml +++ b/spec/score/sem/req/seize-wait.yml @@ -161,7 +161,8 @@ test-support: | } test-target: testsuites/validation/tr-sem-seize-wait.c test-teardown: null -text: ${.:text-template} +text: | + When the calling task tries to seize the semaphore. transition-map: - enabled-by: true post-conditions: diff --git a/spec/score/tq/req/enqueue-fifo.yml b/spec/score/tq/req/enqueue-fifo.yml index 9c3d9bbb..6bd62f4f 100644 --- a/spec/score/tq/req/enqueue-fifo.yml +++ b/spec/score/tq/req/enqueue-fifo.yml @@ -103,7 +103,8 @@ test-support: | } test-target: testsuites/validation/tr-tq-enqueue-fifo.c test-teardown: null -text: ${.:text-template} +text: | + When the calling task is enqueued on the thread queue. transition-map: - enabled-by: true post-conditions: diff --git a/spec/score/tq/req/enqueue-priority.yml b/spec/score/tq/req/enqueue-priority.yml index e43d7d25..9d8df281 100644 --- a/spec/score/tq/req/enqueue-priority.yml +++ b/spec/score/tq/req/enqueue-priority.yml @@ -296,7 +296,8 @@ test-support: | } test-target: testsuites/validation/tr-tq-enqueue-priority.c test-teardown: null -text: ${.:text-template} +text: | + When the calling task is enqueued on the thread queue. transition-map: - enabled-by: true post-conditions: |