51#ifndef _TR_SEM_SEIZE_TRY_H
52#define _TR_SEM_SEIZE_TRY_H
67 ScoreSemReqSeizeTry_Pre_Count_Zero,
68 ScoreSemReqSeizeTry_Pre_Count_Positive,
69 ScoreSemReqSeizeTry_Pre_Count_NA
70} ScoreSemReqSeizeTry_Pre_Count;
73 ScoreSemReqSeizeTry_Post_Status_Ok,
74 ScoreSemReqSeizeTry_Post_Status_Unsat,
75 ScoreSemReqSeizeTry_Post_Status_NA
76} ScoreSemReqSeizeTry_Post_Status;
79 ScoreSemReqSeizeTry_Post_Count_Nop,
80 ScoreSemReqSeizeTry_Post_Count_MinusOne,
81 ScoreSemReqSeizeTry_Post_Count_NA
82} ScoreSemReqSeizeTry_Post_Count;
void ScoreSemReqSeizeTry_Run(TQSemContext *tq_ctx)
Runs the parameterized test case.
Definition: tr-sem-seize-try.c:302
Definition: tx-thread-queue.h:449
This header file provides the functions to test the Thread Queue Handler.