Test context for spec:/score/mtx/req/seize-wait test case. More...

Data Fields
bool	owner_caller
	If this member is true, then the calling thread shall be the owner of the mutex.

bool	owner_other
	If this member is true, then a thread other than the calling thread shall be the owner of the mutex.

bool	deadlock
	If this member is true, then a deadlock shall occur.

rtems_task_priority	priority_before
	This member contains the current priority of the calling thread before the directive call.

const rtems_tcb *	owner_after
	This member contains the owner of the mutex after the directive call.

rtems_task_priority	priority_after
	This member contains the current priority of the calling thread after the directive call.

TQMtxContext *	tq_ctx
	This member contains a copy of the corresponding ScoreMtxReqSeizeWait_Run() parameter.

struct {
size_t pci [6]
	This member defines the pre-condition indices for the next action.

size_t pcs [6]
	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.

ScoreMtxReqSeizeWait_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:/score/mtx/req/seize-wait test case.

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

Data Fields