From a5428a740869e285e9a2bff949e6826a4edfcfb3 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Wed, 30 Sep 2020 17:05:45 +0200
Subject: spec: Canonicalize name and id checks

---
 spec/rtems/task/req/construct-errors.yml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'spec/rtems/task/req/construct-errors.yml')

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
-- 
cgit v1.2.3