[rtems-central commit] spec: Fix partition create

Sebastian Huber sebh at rtems.org
Sat Feb 20 13:26:39 UTC 2021


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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Sat Feb 20 14:26:12 2021 +0100

spec: Fix partition create

---

 spec/rtems/part/req/create.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/spec/rtems/part/req/create.yml b/spec/rtems/part/req/create.yml
index d0bbab5..e1438b7 100644
--- a/spec/rtems/part/req/create.yml
+++ b/spec/rtems/part/req/create.yml
@@ -52,7 +52,7 @@ post-conditions:
   - name: Valid
     test-code: |
       id = INVALID_ID;
-      sc = rtems_partition_ident( NAME, &id );
+      sc = rtems_partition_ident( NAME, RTEMS_SEARCH_LOCAL_NODE, &id );
       T_rsc_success( sc );
       T_eq_u32( id, ctx->id_value );
     text: |
@@ -60,7 +60,7 @@ post-conditions:
       ${../if/create:/name} call.
   - name: Invalid
     test-code: |
-      sc = rtems_partition_ident( NAME, &id );
+      sc = rtems_partition_ident( NAME, RTEMS_SEARCH_LOCAL_NODE, &id );
       T_rsc( sc, RTEMS_INVALID_NAME );
     text: |
       The unique object name shall not identify the partition created by the
@@ -106,7 +106,6 @@ post-conditions:
   test-epilogue: null
   test-prologue: |
     rtems_status_code sc;
-    rtems_id          id;
     size_t            i;
     void             *buffers[ BUFFER_COUNT ];
     void             *no_buffer;



More information about the vc mailing list