From 0d0a7c3c57bfa5074e031cddcd02817cd258403c Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Fri, 26 Feb 2021 20:51:03 +0100 Subject: spec: Improve partition create --- spec/rtems/part/req/create.yml | 11 +++++++++-- 1 file 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 -- cgit v1.2.3