diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-12 08:13:40 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-12 08:48:56 +0100 |
commit | 808cbfd0d7de77956e10e9b2f18257b228279638 (patch) | |
tree | d2d29b7457a43edf5877f3e184109e9c5d9e0edb | |
parent | spec: Fix comment (diff) | |
download | rtems-central-808cbfd0d7de77956e10e9b2f18257b228279638.tar.bz2 |
spec: Add comment and use less memory
-rw-r--r-- | spec/rtems/scheduler/req/remove-processor.yml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/spec/rtems/scheduler/req/remove-processor.yml b/spec/rtems/scheduler/req/remove-processor.yml index c7be0d2a..2c77567e 100644 --- a/spec/rtems/scheduler/req/remove-processor.yml +++ b/spec/rtems/scheduler/req/remove-processor.yml @@ -40,6 +40,13 @@ post-conditions: - name: 'Yes' test-code: | if ( ctx->home && ctx->helping ) { + /* + * For these test scenarios we use scheduler A in which the runner + * remains scheduled. So, an ask for help request is issued, when the + * processor allocated to a task which uses the scheduler as a helping + * scheduler is removed. + */ + T_eq_u32( ctx->id, SCHEDULER_A_ID ); T_eq_sz( ctx->scheduler_log.header.recorded, 3 ); T_eq_int( ctx->scheduler_log.events[ 0 ].operation, @@ -448,7 +455,7 @@ test-context: This member provides the scheduler operation records. description: null member: | - T_scheduler_log_10 scheduler_log; + T_scheduler_log_4 scheduler_log; - brief: | This member contains the return value of the ${../if/remove-processor:/name} call. @@ -552,7 +559,7 @@ test-support: | { T_scheduler_log *log; - log = T_scheduler_record_10( &ctx->scheduler_log ); + log = T_scheduler_record_4( &ctx->scheduler_log ); T_null( log ); ctx->status = rtems_scheduler_remove_processor( ctx->id, ctx->cpu_index ); |