summaryrefslogtreecommitdiffstats
path: root/spec/rtems/userext/req/delete.yml
diff options
context:
space:
mode:
Diffstat (limited to 'spec/rtems/userext/req/delete.yml')
-rw-r--r--spec/rtems/userext/req/delete.yml6
1 files changed, 3 insertions, 3 deletions
diff --git a/spec/rtems/userext/req/delete.yml b/spec/rtems/userext/req/delete.yml
index e80fefc7..b29588a1 100644
--- a/spec/rtems/userext/req/delete.yml
+++ b/spec/rtems/userext/req/delete.yml
@@ -51,21 +51,21 @@ pre-conditions:
test-code: |
/* Already set by prologue */
text: |
- The ${../if/delete:/params[0]/name} parameter shall not be associated
+ While the ${../if/delete:/params[0]/name} parameter is not associated
with an extension set.
- name: ExtTdSw
test-code: |
valid_id = true;
ctx->table.thread_switch = ThreadSwitch;
text: |
- The ${../if/delete:/params[0]/name} parameter shall be associated with
+ While the ${../if/delete:/params[0]/name} parameter is associated with
an extension set with a thread switch extension.
- name: ExtNoTdSw
test-code: |
valid_id = true;
ctx->table.thread_switch = NULL;
text: |
- The ${../if/delete:/params[0]/name} parameter shall be associated with
+ While the ${../if/delete:/params[0]/name} parameter is associated with
an extension set without a thread switch extension.
test-epilogue: |
sc = rtems_extension_create(