diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-20 14:26:12 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-20 14:26:12 +0100 |
commit | abebc695b53b2dc6d8d8471f3b20447b8baecf68 (patch) | |
tree | e0cd14574ee3d064ca9d64fbfbdf9c7cab1495f0 | |
parent | spec: Specify rtems_task_mode() (diff) | |
download | rtems-central-abebc695b53b2dc6d8d8471f3b20447b8baecf68.tar.bz2 |
spec: Fix partition create
-rw-r--r-- | spec/rtems/part/req/create.yml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/spec/rtems/part/req/create.yml b/spec/rtems/part/req/create.yml index d0bbab52..e1438b78 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; |