diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-05 09:58:19 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-08 08:05:37 +0100 |
commit | c1dd4feeaca2624c7760c71a8e8db26beb67be8d (patch) | |
tree | c4b6b307539fa85a19e8cacba624fc7705860cd9 | |
parent | spec: Specify rtems_build_name() (diff) | |
download | rtems-central-c1dd4feeaca2624c7760c71a8e8db26beb67be8d.tar.bz2 |
spec: Tweak construct errors
-rw-r--r-- | spec/rtems/message/req/construct-errors.yml | 31 | ||||
-rw-r--r-- | spec/rtems/task/req/construct-errors.yml | 50 |
2 files changed, 47 insertions, 34 deletions
diff --git a/spec/rtems/message/req/construct-errors.yml b/spec/rtems/message/req/construct-errors.yml index 9f4c0d57..c107fb86 100644 --- a/spec/rtems/message/req/construct-errors.yml +++ b/spec/rtems/message/req/construct-errors.yml @@ -21,7 +21,7 @@ post-conditions: The status shall be RTEMS_SUCCESSFUL. The value of the object identifier referenced by the id parameter shall identify the constructed message queue. - - name: InvAddress + - name: InvAddr test-code: | T_rsc( ctx->status, RTEMS_INVALID_ADDRESS ); T_null( ctx->id ); @@ -36,7 +36,7 @@ post-conditions: The status shall be RTEMS_INVALID_NAME. If the id parameter is not NULL, then the value of the object identifier referenced by the id parameter shall be unchanged. - - name: InvNumber + - name: InvNum test-code: | T_rsc( ctx->status, RTEMS_INVALID_NUMBER ); T_eq_u32( ctx->id_value, 0xffffffff ); @@ -60,7 +60,7 @@ post-conditions: The status shall be RTEMS_TOO_MANY. If the id parameter is not NULL, then the value of the object identifier referenced by the id parameter shall be unchanged. - - name: Unsatisfied + - name: Unsat test-code: | T_rsc( ctx->status, RTEMS_UNSATISFIED ); T_eq_u32( ctx->id_value, 0xffffffff ); @@ -247,19 +247,24 @@ test-cleanup: | test-context: - brief: null description: null - member: rtems_status_code status + member: | + rtems_status_code status - brief: null description: null - member: rtems_message_queue_config config + member: | + rtems_message_queue_config config - brief: null description: null - member: rtems_id *id + member: | + rtems_id *id - brief: null description: null - member: rtems_id id_value + member: | + rtems_id id_value - brief: null description: null - member: Chain_Control message_queues + member: | + Chain_Control message_queues test-context-support: null test-description: null test-header: null @@ -326,7 +331,7 @@ transition-map: Queues: all - enabled-by: true post-conditions: - Status: InvAddress + Status: InvAddr pre-conditions: Area: all AreaSize: all @@ -339,7 +344,7 @@ transition-map: Queues: all - enabled-by: true post-conditions: - Status: InvNumber + Status: InvNum pre-conditions: Area: all AreaSize: all @@ -387,7 +392,7 @@ transition-map: - None - enabled-by: true post-conditions: - Status: InvNumber + Status: InvNum pre-conditions: Area: all AreaSize: all @@ -420,7 +425,7 @@ transition-map: - Avail - enabled-by: true post-conditions: - Status: Unsatisfied + Status: Unsat pre-conditions: Area: - 'Null' @@ -437,7 +442,7 @@ transition-map: - Avail - enabled-by: true post-conditions: - Status: Unsatisfied + Status: Unsat pre-conditions: Area: - Valid diff --git a/spec/rtems/task/req/construct-errors.yml b/spec/rtems/task/req/construct-errors.yml index 4714d1e0..422a1190 100644 --- a/spec/rtems/task/req/construct-errors.yml +++ b/spec/rtems/task/req/construct-errors.yml @@ -20,7 +20,7 @@ post-conditions: text: | The status shall be RTEMS_SUCCESSFUL. The value of the object identifier referenced by the id parameter shall identify the constructed task. - - name: InvAddress + - name: InvAddr test-code: | T_rsc( ctx->status, RTEMS_INVALID_ADDRESS ); T_null( ctx->id ); @@ -59,7 +59,7 @@ post-conditions: The status shall be RTEMS_TOO_MANY. If the id parameter is not NULL, then the value of the object identifier referenced by the id parameter shall be unchanged. - - name: Unsatisfied + - name: Unsat test-code: | T_rsc( ctx->status, RTEMS_UNSATISFIED ); T_eq_u32( ctx->id_value, 0xffffffff ); @@ -73,7 +73,7 @@ post-conditions: pre-conditions: - name: Id states: - - name: Id + - name: Valid test-code: | ctx->id = &ctx->id_value; text: | @@ -246,28 +246,36 @@ test-cleanup: | test-context: - brief: null description: null - member: rtems_status_code status + member: | + rtems_status_code status - brief: null description: null - member: rtems_task_config config + member: | + rtems_task_config config - brief: null description: null - member: rtems_id *id + member: | + rtems_id *id - brief: null description: null - member: rtems_id id_value + member: | + rtems_id id_value - brief: null description: null - member: bool create_extension_status + member: | + bool create_extension_status - brief: null description: null - member: size_t stack_size + member: | + size_t stack_size - brief: null description: null - member: rtems_id extension_id + member: | + rtems_id extension_id - brief: null description: null - member: Chain_Control tasks + member: | + Chain_Control tasks test-context-support: null test-description: null test-header: null @@ -351,7 +359,7 @@ transition-map: Ext: - Ok Id: - - Id + - Valid Name: - Valid Preempt: all @@ -378,7 +386,7 @@ transition-map: Tasks: all - enabled-by: true post-conditions: - Status: InvAddress + Status: InvAddr pre-conditions: Ext: all Id: @@ -396,7 +404,7 @@ transition-map: pre-conditions: Ext: all Id: - - Id + - Valid Name: - Valid Preempt: all @@ -412,7 +420,7 @@ transition-map: pre-conditions: Ext: all Id: - - Id + - Valid Name: - Valid Preempt: all @@ -428,7 +436,7 @@ transition-map: pre-conditions: Ext: all Id: - - Id + - Valid Name: - Valid Preempt: all @@ -445,7 +453,7 @@ transition-map: pre-conditions: Ext: all Id: - - Id + - Valid Name: - Valid Preempt: all @@ -459,12 +467,12 @@ transition-map: - Avail - enabled-by: true post-conditions: - Status: Unsatisfied + Status: Unsat pre-conditions: Ext: - Err Id: - - Id + - Valid Name: - Valid Preempt: all @@ -478,12 +486,12 @@ transition-map: - Avail - enabled-by: RTEMS_SMP post-conditions: - Status: Unsatisfied + Status: Unsat pre-conditions: Ext: - Ok Id: - - Id + - Valid Name: - Valid Preempt: |