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

Data Fields
bool	stop
	If this member is true, then the flush filter shall return NULL.

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

CallWithinISRRequest	request
	This member contains the call within ISR request.

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

bool	may_stop
	This member contains a copy of the corresponding ScoreTqReqFlushFifo_Run() parameter.

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

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

ScoreTqReqFlushFifo_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-fifo test case.

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

Data Fields