diff options
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/rtems/message/req/construct-errors.yml | 14 | ||||
| -rw-r--r-- | spec/rtems/task/req/construct-errors.yml | 14 |
2 files changed, 14 insertions, 14 deletions
diff --git a/spec/rtems/message/req/construct-errors.yml b/spec/rtems/message/req/construct-errors.yml index 72f91926..c45a1ab0 100644 --- a/spec/rtems/message/req/construct-errors.yml +++ b/spec/rtems/message/req/construct-errors.yml @@ -314,11 +314,11 @@ transition-map: - Valid - enabled-by: true post-conditions: - Status: InvAddress + Status: InvName pre-conditions: - Id: - - 'Null' - Name: all + Id: all + Name: + - Invalid MaxPending: all MaxSize: all Queues: all @@ -326,12 +326,12 @@ transition-map: AreaSize: all - enabled-by: true post-conditions: - Status: InvName + Status: InvAddress pre-conditions: Id: - - Id + - 'Null' Name: - - Invalid + - Valid MaxPending: all MaxSize: all Queues: all diff --git a/spec/rtems/task/req/construct-errors.yml b/spec/rtems/task/req/construct-errors.yml index b498131b..ae9ec6e9 100644 --- a/spec/rtems/task/req/construct-errors.yml +++ b/spec/rtems/task/req/construct-errors.yml @@ -365,11 +365,11 @@ transition-map: Preempt: all - enabled-by: true post-conditions: - Status: InvAddress + Status: InvName pre-conditions: - Id: - - 'Null' - Name: all + Id: all + Name: + - Inv Prio: all Tasks: all TLS: all @@ -378,12 +378,12 @@ transition-map: Preempt: all - enabled-by: true post-conditions: - Status: InvName + Status: InvAddress pre-conditions: Id: - - Id + - 'Null' Name: - - Inv + - Valid Prio: all Tasks: all TLS: all |