diff options
-rw-r--r-- | spec/rtems/barrier/req/create.yml | 2 | ||||
-rw-r--r-- | spec/rtems/barrier/req/delete.yml | 4 | ||||
-rw-r--r-- | spec/rtems/event/req/send-receive.yml | 2 | ||||
-rw-r--r-- | spec/rtems/message/req/construct-errors.yml | 2 | ||||
-rw-r--r-- | spec/rtems/part/req/create.yml | 2 | ||||
-rw-r--r-- | spec/rtems/part/req/delete.yml | 5 | ||||
-rw-r--r-- | spec/rtems/part/req/get-buffer.yml | 2 | ||||
-rw-r--r-- | spec/rtems/signal/req/catch.yml | 10 | ||||
-rw-r--r-- | spec/rtems/task/req/construct-errors.yml | 2 | ||||
-rw-r--r-- | spec/rtems/task/req/create-errors.yml | 2 |
10 files changed, 18 insertions, 15 deletions
diff --git a/spec/rtems/barrier/req/create.yml b/spec/rtems/barrier/req/create.yml index c70bf443..b648e54f 100644 --- a/spec/rtems/barrier/req/create.yml +++ b/spec/rtems/barrier/req/create.yml @@ -186,7 +186,7 @@ pre-conditions: test-code: | ctx->seized_objects = T_seize_objects( Create, NULL ); text: | - The system shall have no inactive partition object available. + The system shall not have an inactive barrier object available. test-epilogue: null test-prologue: null rationale: null diff --git a/spec/rtems/barrier/req/delete.yml b/spec/rtems/barrier/req/delete.yml index f4e37ccf..9ea47284 100644 --- a/spec/rtems/barrier/req/delete.yml +++ b/spec/rtems/barrier/req/delete.yml @@ -33,13 +33,13 @@ post-conditions: T_rsc_success( sc ); T_eq_u32( id, ctx->barrier_id ); text: | - The unique object name shall identify the barrier. + The unique object name shall identify a barrier. - name: Invalid test-code: | sc = rtems_barrier_ident( NAME, &id ); T_rsc( sc, RTEMS_INVALID_NAME ); text: | - The unique object name shall not identify the barrier. + The unique object name shall not identify a barrier. test-epilogue: null test-prologue: | rtems_status_code sc; diff --git a/spec/rtems/event/req/send-receive.yml b/spec/rtems/event/req/send-receive.yml index f303ef8f..35123963 100644 --- a/spec/rtems/event/req/send-receive.yml +++ b/spec/rtems/event/req/send-receive.yml @@ -26,7 +26,7 @@ post-conditions: T_eq_int( ctx->receive_condition_state, RECEIVE_COND_UNKNOWN ); T_eq_u32( GetPendingEvents( ctx ), 0 ); text: | - The receiver task shall have no pending events. + The receiver task shall not have pending events. - name: Pending test-code: | T_eq_int( ctx->receive_condition_state, RECEIVE_COND_UNKNOWN ); diff --git a/spec/rtems/message/req/construct-errors.yml b/spec/rtems/message/req/construct-errors.yml index 8ec11a4a..b1a59f26 100644 --- a/spec/rtems/message/req/construct-errors.yml +++ b/spec/rtems/message/req/construct-errors.yml @@ -195,7 +195,7 @@ pre-conditions: i = 0; ctx->seized_objects = T_seize_objects( Create, &i ); text: | - The system shall have no inactive message queue object available. + The system shall not have an inactive message queue object available. test-epilogue: null test-prologue: | size_t i; diff --git a/spec/rtems/part/req/create.yml b/spec/rtems/part/req/create.yml index 593be23c..3030b754 100644 --- a/spec/rtems/part/req/create.yml +++ b/spec/rtems/part/req/create.yml @@ -214,7 +214,7 @@ pre-conditions: i = 0; ctx->seized_objects = T_seize_objects( Create, &i ); text: | - The system shall have no inactive partition object available. + The system shall not have an inactive partition object available. test-epilogue: null test-prologue: | size_t i; diff --git a/spec/rtems/part/req/delete.yml b/spec/rtems/part/req/delete.yml index 4a24767c..85bf9f97 100644 --- a/spec/rtems/part/req/delete.yml +++ b/spec/rtems/part/req/delete.yml @@ -52,7 +52,8 @@ pre-conditions: test-code: | ctx->id = 0xffffffff; text: | - The ${../if/delete:/params[0]/name} parameter shall be invalid. + The ${../if/delete:/params[0]/name} parameter shall not be associated + with a partition. - name: Part test-code: | ctx->id = ctx->id_value; @@ -75,7 +76,7 @@ pre-conditions: test-code: | ctx->buffer = NULL; text: | - The partition shall have no buffer in use. + The partition shall not have a buffer in use. test-epilogue: null test-prologue: | rtems_status_code sc; diff --git a/spec/rtems/part/req/get-buffer.yml b/spec/rtems/part/req/get-buffer.yml index 8c9a73bd..2157e4e3 100644 --- a/spec/rtems/part/req/get-buffer.yml +++ b/spec/rtems/part/req/get-buffer.yml @@ -101,7 +101,7 @@ pre-conditions: sc = rtems_partition_get_buffer( ctx->id_value, &ctx->stolen_buffer ); T_rsc_success( sc ); text: | - The partition shall have no buffer available. + The partition shall not have a buffer available. test-epilogue: null test-prologue: | rtems_status_code sc; diff --git a/spec/rtems/signal/req/catch.yml b/spec/rtems/signal/req/catch.yml index ebf5ea8e..c60d68e7 100644 --- a/spec/rtems/signal/req/catch.yml +++ b/spec/rtems/signal/req/catch.yml @@ -170,14 +170,16 @@ pre-conditions: test-code: | ctx->pending_signals = ( rtems_scheduler_get_processor_maximum() > 1 ) ? 1 : 0; text: | - Where the system has more than one processor, when ${../if/catch:/name} - is called, the calling task shall have pending signals. + Where the system has more than one processor, while the calling task has + pending signals, the ${../if/catch:/name} directive shall be called. + Where the system has exactly one processor, while the calling task has no + pending signals, the ${../if/catch:/name} directive shall be called. - name: 'No' test-code: | ctx->pending_signals = 0; text: | - When ${../if/catch:/name} is called, the calling task shall have no - pending signals. + While the calling task has no pending signals, the ${../if/catch:/name} + directive shall be called. test-epilogue: null test-prologue: null - name: Handler diff --git a/spec/rtems/task/req/construct-errors.yml b/spec/rtems/task/req/construct-errors.yml index ab1fbc56..96d6a5ca 100644 --- a/spec/rtems/task/req/construct-errors.yml +++ b/spec/rtems/task/req/construct-errors.yml @@ -219,7 +219,7 @@ pre-conditions: test-code: | ctx->seized_objects = T_seize_objects( Create, ctx ); text: | - The system shall have no inactive task object available. + The system shall not have an inactive task object available. test-epilogue: null test-prologue: null - name: TLS diff --git a/spec/rtems/task/req/create-errors.yml b/spec/rtems/task/req/create-errors.yml index 3703b869..0861bfe8 100644 --- a/spec/rtems/task/req/create-errors.yml +++ b/spec/rtems/task/req/create-errors.yml @@ -197,7 +197,7 @@ pre-conditions: test-code: | ctx->seized_objects = T_seize_objects( Create, ctx ); text: | - The system shall have no inactive task object available. + The system shall not have an inactive task object available. test-epilogue: null test-prologue: null - name: Stack |