[rtems-central commit] spec: Improve wording
Sebastian Huber
sebh at rtems.org
Fri Feb 26 10:47:49 UTC 2021
Module: rtems-central
Branch: master
Commit: fb3042cc6a8cd2b35e5c7f61c29a4ca87c9b1d9f
Changeset: http://git.rtems.org/rtems-central/commit/?id=fb3042cc6a8cd2b35e5c7f61c29a4ca87c9b1d9f
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Fri Feb 26 08:19:11 2021 +0100
spec: Improve wording
---
spec/rtems/task/req/construct-errors.yml | 20 ++++++++++----------
1 file changed, 10 insertions(+), 10 deletions(-)
diff --git a/spec/rtems/task/req/construct-errors.yml b/spec/rtems/task/req/construct-errors.yml
index bab6511..2322e59 100644
--- a/spec/rtems/task/req/construct-errors.yml
+++ b/spec/rtems/task/req/construct-errors.yml
@@ -91,7 +91,7 @@ post-conditions:
${../if/construct:/name} call.
test-epilogue: null
test-prologue: null
-- name: Delete
+- name: DelExt
states:
- name: 'Yes'
test-code: |
@@ -406,7 +406,7 @@ transition-map:
Status: Ok
Name: Valid
IdValue: Assigned
- Delete: 'No'
+ DelExt: 'No'
pre-conditions:
Ext:
- Ok
@@ -428,7 +428,7 @@ transition-map:
Status: InvName
Name: Invalid
IdValue: Unchanged
- Delete: 'No'
+ DelExt: 'No'
pre-conditions:
Ext: all
Id: all
@@ -444,7 +444,7 @@ transition-map:
Status: InvAddr
Name: Invalid
IdValue: Unchanged
- Delete: 'No'
+ DelExt: 'No'
pre-conditions:
Ext: all
Id:
@@ -461,7 +461,7 @@ transition-map:
Status: InvPrio
Name: Invalid
IdValue: Unchanged
- Delete: 'No'
+ DelExt: 'No'
pre-conditions:
Ext: all
Id:
@@ -480,7 +480,7 @@ transition-map:
Status: TooMany
Name: Invalid
IdValue: Unchanged
- Delete: 'No'
+ DelExt: 'No'
pre-conditions:
Ext: all
Id:
@@ -499,7 +499,7 @@ transition-map:
Status: InvSize
Name: Invalid
IdValue: Unchanged
- Delete: 'No'
+ DelExt: 'No'
pre-conditions:
Ext: all
Id:
@@ -519,7 +519,7 @@ transition-map:
Status: InvSize
Name: Invalid
IdValue: Unchanged
- Delete: 'No'
+ DelExt: 'No'
pre-conditions:
Ext: all
Id:
@@ -540,7 +540,7 @@ transition-map:
Status: Unsat
Name: Invalid
IdValue: Unchanged
- Delete: 'Yes'
+ DelExt: 'Yes'
pre-conditions:
Ext:
- Err
@@ -562,7 +562,7 @@ transition-map:
Status: Unsat
Name: Invalid
IdValue: Unchanged
- Delete: 'Yes'
+ DelExt: 'Yes'
pre-conditions:
Ext:
- Ok
More information about the vc
mailing list