Test context for spec:/rtems/sem/req/delete test case. More...

Data Fields
rtems_id	worker_id [2]
	This member contains the worker task identifiers.

uint32_t	counter
	This member contains the worker activity counter.

uint32_t	worker_counter [2]
	This member contains the worker activity counter of a specific worker.

rtems_status_code	obtain_status
	This member specifies the expected rtems_semaphore_obtain() status.

uint32_t	count
	This member specifies if the initial count of the semaphore.

rtems_attribute	attribute_set
	This member specifies if the attribute set of the semaphore.

rtems_id	semaphore_id
	This member contains the semaphore identifier.

bool	valid_id
	If this member is true, then the `name` parameter shall be valid, otherwise it should be NULL.

bool	blocked
	If this member is true, then tasks shall be blocked on the semaphore, otherwise no tasks shall be blocked on the semaphore.

rtems_id	id
	This member specifies the `name` parameter for the rtems_semaphore_delete() call.

rtems_status_code	delete_status
	This member specifies the expected rtems_semaphore_delete() status.

struct {
size_t pcs [3]
	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.

RtemsSemReqDelete_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/sem/req/delete test case.

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

Data Fields