Test context for spec:/score/tq/req/flush-priority-inherit test case. More...

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

bool	minimum
	If this member is true, then a minimum priority of the owner of the thread queue shall be inherited from a thread enqueued on the thread queue.

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

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

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

ScoreTqReqFlushPriorityInherit_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/flush-priority-inherit test case.

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

Data Fields