[rtems-central commit] spec: Fix rtems_scheduler_ident() validation

Sebastian Huber sebh at rtems.org
Fri May 14 07:31:16 UTC 2021


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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Fri May 14 09:30:42 2021 +0200

spec: Fix rtems_scheduler_ident() validation

---

 spec/rtems/scheduler/req/ident.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/spec/rtems/scheduler/req/ident.yml b/spec/rtems/scheduler/req/ident.yml
index ee62ce7..3052ae7 100644
--- a/spec/rtems/scheduler/req/ident.yml
+++ b/spec/rtems/scheduler/req/ident.yml
@@ -70,7 +70,6 @@ pre-conditions:
   states:
   - name: Valid
     test-code: |
-      ctx->id_value = 0xffffffff;
       ctx->id = &ctx->id_value;
     text: |
       While the ${../if/ident:/params[1]/name} parameter references an object



More information about the vc mailing list