From 671cd427d958fff69a16a1dee8cb34b8d59b19cb Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Tue, 13 Apr 2021 10:53:31 +0200 Subject: spec: Add custom action req texts --- spec/score/sem/req/seize-try.yml | 3 ++- spec/score/sem/req/seize-wait.yml | 3 ++- spec/score/tq/req/enqueue-fifo.yml | 3 ++- 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: -- cgit v1.2.3