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

Data Fields
union {
TQContext tq_ctx

TQMtxContext tq_mtx_ctx

TQSemContext tq_sem_ctx

};
	This member contains the thread queue test context.

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

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.

RtemsSemReqRelease_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/release test case.

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

Data Fields