spec:/score/sem/req/seize-try

Files
file	tr-sem-seize-try.c
file	tr-sem-seize-try.h

Data Structures
struct	ScoreSemReqSeizeTry_Entry
struct	ScoreSemReqSeizeTry_Context
	Test context for spec:/score/sem/req/seize-try test case. More...

Typedefs
typedef ScoreSemReqSeizeTry_Context	Context

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.

Detailed Description

Function Documentation

ScoreSemReqSeizeTry_Run()

void ScoreSemReqSeizeTry_Run

(

TQSemContext *

tq_ctx

)

Runs the parameterized test case.

Parameters

[in,out]

tq_ctx

is the thread queue context.