RTEMS 6.1-rc6
|
Test context for spec:/rtems/barrier/req/wait test case. More...
Data Fields | |
rtems_id | main_id |
rtems_id | high_worker_id |
rtems_id | low_worker_id |
rtems_id | manual_release_id |
rtems_id | auto_release_id |
rtems_id | id |
rtems_interval | timeout |
rtems_status_code | status |
struct { | |
size_t pci [3] | |
This member defines the pre-condition indices for the next action. | |
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. | |
RtemsBarrierReqWait_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 |
Test context for spec:/rtems/barrier/req/wait test case.