[rtems-central commit] spec: Remove unused state

Sebastian Huber sebh at rtems.org
Thu Feb 25 16:25:56 UTC 2021


Module:    rtems-central
Branch:    master
Commit:    929d87c6d4ddcced74e47fd6d4e9f63423da7465
Changeset: http://git.rtems.org/rtems-central/commit/?id=929d87c6d4ddcced74e47fd6d4e9f63423da7465

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Thu Feb 25 17:25:16 2021 +0100

spec: Remove unused state

---

 spec/rtems/part/req/create.yml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/spec/rtems/part/req/create.yml b/spec/rtems/part/req/create.yml
index 34bacf6..e2098f6 100644
--- a/spec/rtems/part/req/create.yml
+++ b/spec/rtems/part/req/create.yml
@@ -27,12 +27,6 @@ post-conditions:
     text: |
       The return status of ${../if/create:/name} shall be
       ${../../status/if/invalid-name:/name}.
-  - name: InvNumber
-    test-code: |
-      T_rsc( ctx->status, RTEMS_INVALID_NUMBER );
-    text: |
-      The return status of ${../if/create:/name} shall be
-      ${../../status/if/invalid-number:/name}.
   - name: InvSize
     test-code: |
       T_rsc( ctx->status, RTEMS_INVALID_SIZE );



More information about the vc mailing list