[rtems-central commit] spec: Improve partition create

Sebastian Huber sebh at rtems.org
Mon Mar 1 09:01:33 UTC 2021


Module:    rtems-central
Branch:    master
Commit:    0d0a7c3c57bfa5074e031cddcd02817cd258403c
Changeset: http://git.rtems.org/rtems-central/commit/?id=0d0a7c3c57bfa5074e031cddcd02817cd258403c

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Fri Feb 26 20:51:03 2021 +0100

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 51c01ca..d79f634 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



More information about the vc mailing list