diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-09-30 17:05:45 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-10-07 08:53:50 +0200 |
| commit | a5428a740869e285e9a2bff949e6826a4edfcfb3 (patch) | |
| tree | bc640c0be33db0c1224fe6a345adee4f77ee8e07 /spec/rtems/task/req/construct-errors.yml | |
| parent | modules: Update rtems and rtems-docs (diff) | |
| download | rtems-central-a5428a740869e285e9a2bff949e6826a4edfcfb3.tar.bz2 | |
spec: Canonicalize name and id checks
Diffstat (limited to 'spec/rtems/task/req/construct-errors.yml')
| -rw-r--r-- | spec/rtems/task/req/construct-errors.yml | 14 |
1 files changed, 7 insertions, 7 deletions
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 |