diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-23 08:01:44 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-23 08:07:55 +0100 |
commit | ade2303e454faaec1153c18f6a30f53bed1e53de (patch) | |
tree | 6816730fbd8e4027300659c602ce3d63d94ebfef | |
parent | validation: Take N/A pre-conditions into account (diff) | |
download | rtems-central-ade2303e454faaec1153c18f6a30f53bed1e53de.tar.bz2 |
spec: Use tc-support.h
-rw-r--r-- | spec/rtems/message/req/delete.yml | 60 | ||||
-rw-r--r-- | spec/rtems/sem/req/create.yml | 14 |
2 files changed, 16 insertions, 58 deletions
diff --git a/spec/rtems/message/req/delete.yml b/spec/rtems/message/req/delete.yml index 2b36b1c8..4f4fbf36 100644 --- a/spec/rtems/message/req/delete.yml +++ b/spec/rtems/message/req/delete.yml @@ -126,57 +126,31 @@ test-header: null test-includes: - rtems.h - string.h -test-local-includes: [] +test-local-includes: +- tc-support.h test-prepare: | - rtems_status_code sc; rtems_task_priority prio; - prio = 0; - sc = rtems_task_set_priority( ctx->worker_id, PRIO_HIGH, &prio ); - T_rsc_success( sc ); + prio = SetPriority( ctx->worker_id, PRIO_HIGH ); T_true( prio == PRIO_LOW || prio == PRIO_HIGH ); test-setup: brief: null code: | - rtems_status_code sc; - rtems_task_priority prio; - memset( ctx, 0, sizeof( *ctx ) ); - - prio = 0; - sc = rtems_task_set_priority( RTEMS_SELF, PRIO_NORMAL, &prio ); - T_rsc_success( sc ); - T_eq_u32( prio, PRIO_HIGH ); - - sc = rtems_task_create( - rtems_build_name( 'W', 'O', 'R', 'K' ), - PRIO_LOW, - RTEMS_MINIMUM_STACK_SIZE, - RTEMS_DEFAULT_MODES, - RTEMS_DEFAULT_ATTRIBUTES, - &ctx->worker_id - ); - T_assert_rsc_success( sc ); - - sc = rtems_task_start( ctx->worker_id, Worker, (rtems_task_argument) ctx ); - T_assert_rsc_success( sc ); + SetSelfPriority( PRIO_NORMAL ); + ctx->worker_id = CreateTask( "WORK", PRIO_LOW ); + StartTask( ctx->worker_id, Worker, ctx ); description: null test-stop: null test-support: | #define NAME rtems_build_name( 'T', 'E', 'S', 'T' ) - typedef RtemsMessageReqDelete_Context Context; - - typedef enum { - PRIO_HIGH = 1, - PRIO_NORMAL, - PRIO_LOW - } Priorities; - #define MAX_PENDING_MESSAGES 1 #define MAX_MESSAGE_SIZE 1 + typedef RtemsMessageReqDelete_Context Context; + static RTEMS_MESSAGE_QUEUE_BUFFER( MAX_MESSAGE_SIZE ) buffers[ MAX_PENDING_MESSAGES ]; @@ -219,9 +193,7 @@ test-support: | ++ctx->wait_done; - prio = 0; - sc = rtems_task_set_priority( RTEMS_SELF, PRIO_LOW, &prio ); - T_rsc_success( sc ); + prio = SetSelfPriority( PRIO_LOW ); T_eq_u32( prio, PRIO_HIGH ); } } @@ -229,18 +201,8 @@ test-target: testsuites/validation/tc-message-delete.c test-teardown: brief: null code: | - rtems_status_code sc; - rtems_task_priority prio; - - prio = 0; - sc = rtems_task_set_priority( RTEMS_SELF, PRIO_HIGH, &prio ); - T_rsc_success( sc ); - T_eq_u32( prio, PRIO_NORMAL ); - - if ( ctx->worker_id != 0 ) { - sc = rtems_task_delete( ctx->worker_id ); - T_rsc_success( sc ); - } + DeleteTask( ctx->worker_id ); + RestoreRunnerPriority(); description: null text: ${.:text-template} transition-map: diff --git a/spec/rtems/sem/req/create.yml b/spec/rtems/sem/req/create.yml index 25c98857..3877fa3f 100644 --- a/spec/rtems/sem/req/create.yml +++ b/spec/rtems/sem/req/create.yml @@ -184,23 +184,18 @@ post-conditions: states: - name: Ceiling test-code: | - T_eq_u32( prio, ctx->priority_ceiling ); + T_eq_u32( GetSelfPriority(), ctx->priority_ceiling ); text: | The current priority of the task which called ${../if/create:/name} shall be equal to the value of the ${../if/create:/params[3]/name} parameter. - name: Nop test-code: | - T_eq_u32( prio, 1 ); + T_eq_u32( GetSelfPriority(), 1 ); text: | The current priority of the task which called ${../if/create:/name} shall not be modified by the ${../if/create:/name} call. test-epilogue: null - test-prologue: - rtems_status_code sc; - rtems_task_priority prio; - - sc = rtems_task_set_priority( RTEMS_SELF, RTEMS_CURRENT_PRIORITY, &prio ); - T_rsc_success( sc ); + test-prologue: null pre-conditions: - name: Name states: @@ -481,7 +476,8 @@ test-includes: - limits.h - string.h - rtems/rtems/semimpl.h -test-local-includes: [] +test-local-includes: +- tc-support.h test-prepare: | rtems_status_code sc; rtems_id id; |