diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-26 08:19:11 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-26 08:19:23 +0100 |
| commit | fb3042cc6a8cd2b35e5c7f61c29a4ca87c9b1d9f (patch) | |
| tree | 959c8e20059d81a44097e05d2080fce12a2c23ad /spec/rtems/task/req/construct-errors.yml | |
| parent | spec: Harmonize create directives (diff) | |
| download | rtems-central-fb3042cc6a8cd2b35e5c7f61c29a4ca87c9b1d9f.tar.bz2 | |
spec: Improve wording
Diffstat (limited to 'spec/rtems/task/req/construct-errors.yml')
| -rw-r--r-- | spec/rtems/task/req/construct-errors.yml | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/spec/rtems/task/req/construct-errors.yml b/spec/rtems/task/req/construct-errors.yml index bab65115..2322e598 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 |