![]() |
RTEMS 6.1
|
Test context for spec:/rtems/userext/req/create test case. More...
Data Fields | |
| void * | seized_objects |
| rtems_extensions_table | table_variable |
| rtems_id | id_value |
| rtems_name | name |
| rtems_extensions_table * | table |
| rtems_id * | id |
| rtems_status_code | status |
| struct { | |
| 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. | |
| RtemsUserextReqCreate_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/userext/req/create test case.