diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-07-27 14:54:13 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-07-27 15:29:32 +0200 |
| commit | 55e17d23c133681cf4a6a24e5190216f5378f1e8 (patch) | |
| tree | b836b35f5fee7732c18fc125fba07a3c80671e53 /spec/req | |
| parent | validation: Support N/A in the action transitions (diff) | |
| download | rtems-central-55e17d23c133681cf4a6a24e5190216f5378f1e8.tar.bz2 | |
validation: Add ability to skip action transitions
Diffstat (limited to 'spec/req')
| -rw-r--r-- | spec/req/rtems/ident-local.yml | 1 | ||||
| -rw-r--r-- | spec/req/rtems/ident.yml | 1 | ||||
| -rw-r--r-- | spec/req/rtems/tasks/ident.yml | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/spec/req/rtems/ident-local.yml b/spec/req/rtems/ident-local.yml index 38bf9cdd..9bb542f9 100644 --- a/spec/req/rtems/ident-local.yml +++ b/spec/req/rtems/ident-local.yml @@ -83,6 +83,7 @@ pre-conditions: test-epilogue: null test-prologue: null requirement-type: functional +skip-reasons: {} test-action: | ctx->status = ( *ctx->action )( ctx->name, ctx->id ); test-brief: null diff --git a/spec/req/rtems/ident.yml b/spec/req/rtems/ident.yml index b56603bd..1a9bbfbc 100644 --- a/spec/req/rtems/ident.yml +++ b/spec/req/rtems/ident.yml @@ -136,6 +136,7 @@ pre-conditions: test-epilogue: null test-prologue: null requirement-type: functional +skip-reasons: {} test-action: | ctx->status = ( *ctx->action )( ctx->name, ctx->node, ctx->id ); test-brief: null diff --git a/spec/req/rtems/tasks/ident.yml b/spec/req/rtems/tasks/ident.yml index 0a8171df..3d2d6873 100644 --- a/spec/req/rtems/tasks/ident.yml +++ b/spec/req/rtems/tasks/ident.yml @@ -43,6 +43,7 @@ pre-conditions: test-epilogue: null test-prologue: null requirement-type: functional +skip-reasons: {} test-action: | if ( ctx->id != NULL ) { ctx->status = rtems_task_ident( RTEMS_SELF, 0xdeadbeef, ctx->id ); |