Test context for spec:/score/tq/req/surrender test case. More...

Data Fields
CallWithinISRRequest	request
	This member contains the call within ISR request.

SMP_barrier_Control	barrier
	This member contains the barrier to synchronize the runner and the worker.

bool	intend_to_block
	If this member is true, then the dequeued thread shall be in the intend to block wait state.

uint32_t	expected_blocker_b_counter
	If this member contains the expected counter of worker B.

TQContext *	tq_ctx
	This member contains a copy of the corresponding ScoreTqReqSurrender_Run() parameter.

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.

ScoreTqReqSurrender_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/tq/req/surrender test case.

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

Data Fields