tr-sem-seize-try.h File Reference

#include "tx-thread-queue.h"

Go to the source code of this file.

Enumerations
enum	ScoreSemReqSeizeTry_Pre_Count { ScoreSemReqSeizeTry_Pre_Count_Zero , ScoreSemReqSeizeTry_Pre_Count_Positive , ScoreSemReqSeizeTry_Pre_Count_NA }
enum	ScoreSemReqSeizeTry_Post_Status { ScoreSemReqSeizeTry_Post_Status_Ok , ScoreSemReqSeizeTry_Post_Status_Unsat , ScoreSemReqSeizeTry_Post_Status_NA }
enum	ScoreSemReqSeizeTry_Post_Count { ScoreSemReqSeizeTry_Post_Count_Nop , ScoreSemReqSeizeTry_Post_Count_MinusOne , ScoreSemReqSeizeTry_Post_Count_NA }

Functions
void	ScoreSemReqSeizeTry_Run (TQSemContext *tq_ctx)
	Runs the parameterized test case. More...