Test context for spec:/rtems/message/req/construct test case. More...

Data Fields
rtems_status_code	status

const rtems_message_queue_config *	config

rtems_message_queue_config	config_obj

rtems_id *	id

rtems_id	id_obj

void *	seized_objects

uint32_t	storage_free_counter

uint32_t	expected_storage_free_counter

struct {
size_t pcs [9]
	This member defines the pre-condition states for the next action.

bool in_action_loop
	If this member is true, then the test action loop is executed.

size_t index
	This member contains the next transition map index.

RtemsMessageReqConstruct_Entry entry
	This member contains the current transition map entry.

bool skip
	If this member is true, then the current transition variant should be skipped.

}	Map

Detailed Description

Test context for spec:/rtems/message/req/construct test case.

The documentation for this struct was generated from the following file:

Data Fields