RTEMS 6.1-rc5
Loading...
Searching...
No Matches
Data Fields

Test context for spec:/score/sem/req/surrender test case. More...

Data Fields

uint32_t count_before
 This member specifies the semaphore count before the directive call.
 
Status_Control status
 This member contains the return status of the directive call.
 
uint32_t count_after
 This member contains the semaphore count after the directive call.
 
bool blocked
 If this member is true, then there shall be threads blocked on the semaphore.
 
TQSemContexttq_ctx
 This member contains a copy of the corresponding ScoreSemReqSurrender_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.
 
   ScoreSemReqSurrender_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/sem/req/surrender test case.


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