diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-25 17:25:16 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-25 17:25:42 +0100 |
| commit | 929d87c6d4ddcced74e47fd6d4e9f63423da7465 (patch) | |
| tree | 524f809a3e8cfcf17a6903c0d3f9706c0ccec3d8 /spec | |
| parent | spec: Remove superfluous includes (diff) | |
| download | rtems-central-929d87c6d4ddcced74e47fd6d4e9f63423da7465.tar.bz2 | |
spec: Remove unused state
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/rtems/part/req/create.yml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/spec/rtems/part/req/create.yml b/spec/rtems/part/req/create.yml index 34bacf6b..e2098f62 100644 --- a/spec/rtems/part/req/create.yml +++ b/spec/rtems/part/req/create.yml @@ -27,12 +27,6 @@ post-conditions: text: | The return status of ${../if/create:/name} shall be ${../../status/if/invalid-name:/name}. - - name: InvNumber - test-code: | - T_rsc( ctx->status, RTEMS_INVALID_NUMBER ); - text: | - The return status of ${../if/create:/name} shall be - ${../../status/if/invalid-number:/name}. - name: InvSize test-code: | T_rsc( ctx->status, RTEMS_INVALID_SIZE ); |