[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