From fb3042cc6a8cd2b35e5c7f61c29a4ca87c9b1d9f Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Fri, 26 Feb 2021 08:19:11 +0100
Subject: spec: Improve wording

---
 spec/rtems/task/req/construct-errors.yml | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 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 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
-- 
cgit v1.2.3