[rtems-central commit] spec: Add comment and use less memory

[Sebastian Huber]

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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Fri Nov 12 08:13:40 2021 +0100

spec: Add comment and use less memory

---

 spec/rtems/scheduler/req/remove-processor.yml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/spec/rtems/scheduler/req/remove-processor.yml b/spec/rtems/scheduler/req/remove-processor.yml
index c7be0d2..2c77567 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 );