[rtems-central commit] spec: Add custom action req texts
Sebastian Huber
sebh at rtems.org
Tue Apr 13 08:54:21 UTC 2021
Module: rtems-central
Branch: master
Commit: 671cd427d958fff69a16a1dee8cb34b8d59b19cb
Changeset: http://git.rtems.org/rtems-central/commit/?id=671cd427d958fff69a16a1dee8cb34b8d59b19cb
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Tue Apr 13 10:53:31 2021 +0200
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 5dbc5c8..f830d87 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 9b135ad..2cc2fdb 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 9c3d9bb..6bd62f4 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 e43d7d2..9d8df28 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:
More information about the vc
mailing list