RTOS/rtems
1
0
Fork 0
forked from Imagelibrary/rtems
Code Pull Requests Activity

validation: Tweak construct error tests

Browse Source 
Unify the state names across tests and make sure the state names have a
similar length.
This commit is contained in:
Sebastian Huber
2021-02-05 10:15:48 +01:00
parent e59efd8835
commit fafc923044
2 changed files with 216 additions and 216 deletions
Download Patch File Download Diff File Expand all files Collapse all files

218
testsuites/validation/tc-message-construct-errors.c
View File

@@ -114,12 +114,12 @@ typedef enum {
typedef enum { typedef enum {
RtemsMessageReqConstructErrors_Post_Status_Ok, RtemsMessageReqConstructErrors_Post_Status_Ok,
RtemsMessageReqConstructErrors_Post_Status_InvAddress, RtemsMessageReqConstructErrors_Post_Status_InvAddr,
RtemsMessageReqConstructErrors_Post_Status_InvName, RtemsMessageReqConstructErrors_Post_Status_InvName,
RtemsMessageReqConstructErrors_Post_Status_InvNumber, RtemsMessageReqConstructErrors_Post_Status_InvNum,
RtemsMessageReqConstructErrors_Post_Status_InvSize, RtemsMessageReqConstructErrors_Post_Status_InvSize,
RtemsMessageReqConstructErrors_Post_Status_TooMany, RtemsMessageReqConstructErrors_Post_Status_TooMany,
RtemsMessageReqConstructErrors_Post_Status_Unsatisfied, RtemsMessageReqConstructErrors_Post_Status_Unsat,
RtemsMessageReqConstructErrors_Post_Status_NA RtemsMessageReqConstructErrors_Post_Status_NA
} RtemsMessageReqConstructErrors_Post_Status; } RtemsMessageReqConstructErrors_Post_Status;
@@ -429,7 +429,7 @@ static void RtemsMessageReqConstructErrors_Post_Status_Check(
break; break;
} }
case RtemsMessageReqConstructErrors_Post_Status_InvAddress: { case RtemsMessageReqConstructErrors_Post_Status_InvAddr: {
T_rsc( ctx->status, RTEMS_INVALID_ADDRESS ); T_rsc( ctx->status, RTEMS_INVALID_ADDRESS );
T_null( ctx->id ); T_null( ctx->id );
T_eq_u32( ctx->id_value, 0xffffffff ); T_eq_u32( ctx->id_value, 0xffffffff );
@@ -442,7 +442,7 @@ static void RtemsMessageReqConstructErrors_Post_Status_Check(
break; break;
} }
case RtemsMessageReqConstructErrors_Post_Status_InvNumber: { case RtemsMessageReqConstructErrors_Post_Status_InvNum: {
T_rsc( ctx->status, RTEMS_INVALID_NUMBER ); T_rsc( ctx->status, RTEMS_INVALID_NUMBER );
T_eq_u32( ctx->id_value, 0xffffffff ); T_eq_u32( ctx->id_value, 0xffffffff );
break; break;
@@ -460,7 +460,7 @@ static void RtemsMessageReqConstructErrors_Post_Status_Check(
break; break;
} }
case RtemsMessageReqConstructErrors_Post_Status_Unsatisfied: { case RtemsMessageReqConstructErrors_Post_Status_Unsat: {
T_rsc( ctx->status, RTEMS_UNSATISFIED ); T_rsc( ctx->status, RTEMS_UNSATISFIED );
T_eq_u32( ctx->id_value, 0xffffffff ); T_eq_u32( ctx->id_value, 0xffffffff );
break; break;
@@ -521,11 +521,11 @@ static const uint8_t RtemsMessageReqConstructErrors_TransitionMap[][ 1 ] = {
{ {
RtemsMessageReqConstructErrors_Post_Status_Ok RtemsMessageReqConstructErrors_Post_Status_Ok
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_Unsatisfied RtemsMessageReqConstructErrors_Post_Status_Unsat
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_Unsatisfied RtemsMessageReqConstructErrors_Post_Status_Unsat
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_Unsatisfied RtemsMessageReqConstructErrors_Post_Status_Unsat
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_TooMany RtemsMessageReqConstructErrors_Post_Status_TooMany
}, { }, {
@@ -567,61 +567,61 @@ static const uint8_t RtemsMessageReqConstructErrors_TransitionMap[][ 1 ] = {
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_TooMany RtemsMessageReqConstructErrors_Post_Status_TooMany
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvNumber RtemsMessageReqConstructErrors_Post_Status_InvNum
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_TooMany RtemsMessageReqConstructErrors_Post_Status_TooMany
}, { }, {
@@ -807,149 +807,149 @@ static const uint8_t RtemsMessageReqConstructErrors_TransitionMap[][ 1 ] = {
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvName RtemsMessageReqConstructErrors_Post_Status_InvName
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvAddress RtemsMessageReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsMessageReqConstructErrors_Post_Status_InvName RtemsMessageReqConstructErrors_Post_Status_InvName
}, { }, {

214
testsuites/validation/tc-task-construct-errors.c
View File

@@ -69,7 +69,7 @@
*/ */
typedef enum { typedef enum {
RtemsTaskReqConstructErrors_Pre_Id_Id, RtemsTaskReqConstructErrors_Pre_Id_Valid,
RtemsTaskReqConstructErrors_Pre_Id_Null, RtemsTaskReqConstructErrors_Pre_Id_Null,
RtemsTaskReqConstructErrors_Pre_Id_NA RtemsTaskReqConstructErrors_Pre_Id_NA
} RtemsTaskReqConstructErrors_Pre_Id; } RtemsTaskReqConstructErrors_Pre_Id;
@@ -119,12 +119,12 @@ typedef enum {
typedef enum { typedef enum {
RtemsTaskReqConstructErrors_Post_Status_Ok, RtemsTaskReqConstructErrors_Post_Status_Ok,
RtemsTaskReqConstructErrors_Post_Status_InvAddress, RtemsTaskReqConstructErrors_Post_Status_InvAddr,
RtemsTaskReqConstructErrors_Post_Status_InvName, RtemsTaskReqConstructErrors_Post_Status_InvName,
RtemsTaskReqConstructErrors_Post_Status_InvPrio, RtemsTaskReqConstructErrors_Post_Status_InvPrio,
RtemsTaskReqConstructErrors_Post_Status_InvSize, RtemsTaskReqConstructErrors_Post_Status_InvSize,
RtemsTaskReqConstructErrors_Post_Status_TooMany, RtemsTaskReqConstructErrors_Post_Status_TooMany,
RtemsTaskReqConstructErrors_Post_Status_Unsatisfied, RtemsTaskReqConstructErrors_Post_Status_Unsat,
RtemsTaskReqConstructErrors_Post_Status_NA RtemsTaskReqConstructErrors_Post_Status_NA
} RtemsTaskReqConstructErrors_Post_Status; } RtemsTaskReqConstructErrors_Post_Status;
@@ -164,7 +164,7 @@ static RtemsTaskReqConstructErrors_Context
RtemsTaskReqConstructErrors_Instance; RtemsTaskReqConstructErrors_Instance;
static const char * const RtemsTaskReqConstructErrors_PreDesc_Id[] = { static const char * const RtemsTaskReqConstructErrors_PreDesc_Id[] = {
"Id", "Valid",
"Null", "Null",
"NA" "NA"
}; };
@@ -263,7 +263,7 @@ static void RtemsTaskReqConstructErrors_Pre_Id_Prepare(
) )
{ {
switch ( state ) { switch ( state ) {
case RtemsTaskReqConstructErrors_Pre_Id_Id: { case RtemsTaskReqConstructErrors_Pre_Id_Valid: {
ctx->id = &ctx->id_value; ctx->id = &ctx->id_value;
break; break;
} }
@@ -476,7 +476,7 @@ static void RtemsTaskReqConstructErrors_Post_Status_Check(
break; break;
} }
case RtemsTaskReqConstructErrors_Post_Status_InvAddress: { case RtemsTaskReqConstructErrors_Post_Status_InvAddr: {
T_rsc( ctx->status, RTEMS_INVALID_ADDRESS ); T_rsc( ctx->status, RTEMS_INVALID_ADDRESS );
T_null( ctx->id ); T_null( ctx->id );
T_eq_u32( ctx->id_value, 0xffffffff ); T_eq_u32( ctx->id_value, 0xffffffff );
@@ -507,7 +507,7 @@ static void RtemsTaskReqConstructErrors_Post_Status_Check(
break; break;
} }
case RtemsTaskReqConstructErrors_Post_Status_Unsatisfied: { case RtemsTaskReqConstructErrors_Post_Status_Unsat: {
T_rsc( ctx->status, RTEMS_UNSATISFIED ); T_rsc( ctx->status, RTEMS_UNSATISFIED );
T_eq_u32( ctx->id_value, 0xffffffff ); T_eq_u32( ctx->id_value, 0xffffffff );
break; break;
@@ -602,14 +602,14 @@ static const uint8_t RtemsTaskReqConstructErrors_TransitionMap[][ 1 ] = {
RtemsTaskReqConstructErrors_Post_Status_Ok RtemsTaskReqConstructErrors_Post_Status_Ok
}, { }, {
#if defined(RTEMS_SMP) #if defined(RTEMS_SMP)
RtemsTaskReqConstructErrors_Post_Status_Unsatisfied RtemsTaskReqConstructErrors_Post_Status_Unsat
#else #else
RtemsTaskReqConstructErrors_Post_Status_Ok RtemsTaskReqConstructErrors_Post_Status_Ok
#endif #endif
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_Unsatisfied RtemsTaskReqConstructErrors_Post_Status_Unsat
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_Unsatisfied RtemsTaskReqConstructErrors_Post_Status_Unsat
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvSize RtemsTaskReqConstructErrors_Post_Status_InvSize
}, { }, {
@@ -987,197 +987,197 @@ static const uint8_t RtemsTaskReqConstructErrors_TransitionMap[][ 1 ] = {
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvName RtemsTaskReqConstructErrors_Post_Status_InvName
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvAddress RtemsTaskReqConstructErrors_Post_Status_InvAddr
}, { }, {
RtemsTaskReqConstructErrors_Post_Status_InvName RtemsTaskReqConstructErrors_Post_Status_InvName
}, { }, {
@@ -2210,7 +2210,7 @@ T_TEST_CASE_FIXTURE(
index = 0; index = 0;
for ( for (
ctx->pcs[ 0 ] = RtemsTaskReqConstructErrors_Pre_Id_Id; ctx->pcs[ 0 ] = RtemsTaskReqConstructErrors_Pre_Id_Valid;
ctx->pcs[ 0 ] < RtemsTaskReqConstructErrors_Pre_Id_NA; ctx->pcs[ 0 ] < RtemsTaskReqConstructErrors_Pre_Id_NA;
++ctx->pcs[ 0 ] ++ctx->pcs[ 0 ]
) { ) {