diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-26 20:51:03 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-26 20:51:03 +0100 |
commit | 0d0a7c3c57bfa5074e031cddcd02817cd258403c (patch) | |
tree | 9714fdd69ad17034de4b588c2e680e17c572e5b3 | |
parent | spec: Improve return buffer (diff) | |
download | rtems-central-0d0a7c3c57bfa5074e031cddcd02817cd258403c.tar.bz2 |
spec: Improve partition create
-rw-r--r-- | spec/rtems/part/req/create.yml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/spec/rtems/part/req/create.yml b/spec/rtems/part/req/create.yml index 51c01ca1..d79f634f 100644 --- a/spec/rtems/part/req/create.yml +++ b/spec/rtems/part/req/create.yml @@ -181,11 +181,17 @@ pre-conditions: ctx->buffer_size = 0; text: | The buffer size shall be zero. + - name: Skew + test-code: | + ctx->buffer_size = 1; + text: | + The buffer size shall not an integral multiple of the pointer size. - name: Small test-code: | - ctx->buffer_size = sizeof( buffers[ 0 ] ) - 1; + ctx->buffer_size = sizeof( uintptr_t ); text: | - The buffer size shall be less than the size of two pointers. + The buffer size shall greater than zero and an integral multiple of the + pointer size and less than the size of two pointers. test-epilogue: null test-prologue: null - name: Free @@ -411,6 +417,7 @@ transition-map: Free: all Size: - Zero + - Skew - Small Start: - Valid |