Test context for spec:/rtems/task/req/is-suspended test case. More...

Data Fields
rtems_id	worker_id
	This member contains the identifier of a task.

bool	suspend
	If this member is true, then the worker is suspended before the rtems_task_is_suspended() call.

rtems_status_code	status
	This member contains the return value of the rtems_task_is_suspended() call.

rtems_id	id
	This member specifies if the `id` parameter value.

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.

RtemsTaskReqIsSuspended_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:/rtems/task/req/is-suspended test case.

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

Data Fields