Test context for spec:/score/tq/req/enqueue-mrsp test case. More...

Data Fields
bool	helping
	This this member is true, then the enqueueing thread shall have at least one helping scheduler which is an ineligible scheduler for the already enqueued threads.

rtems_task_priority	priority
	This member specifies the priority of an already enqueued thread with an eligible scheduler equal to an eligible scheduler of the enqueueing thread.

size_t	other_before
	If this member is true, then a thread those eligible schedulers are ineligible scheduler to the enqueueing task should be enqueued before a thread with an eligible scheduler equal to an eligible scheduler of the enqueueing thread.

size_t	other_after
	If this member is true, then a thread those eligible schedulers are ineligible scheduler to the enqueueing task should be enqueued after a thread with an eligible scheduler equal to an eligible scheduler of the enqueueing thread.

TQContext *	tq_ctx
	This member contains a copy of the corresponding ScoreTqReqEnqueueMrsp_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.

ScoreTqReqEnqueueMrsp_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/enqueue-mrsp test case.

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

Data Fields