Ops.capi.test.cpp.inc File Reference

Go to the source code of this file.

Classes
class	VerifOperationLinkTests
struct	AssumeDetOpBuildFuncHelper
struct	ContractEndOpBuildFuncHelper
struct	DecreasesOpBuildFuncHelper
struct	EnsureComputeOpBuildFuncHelper
struct	EnsureConstrainOpBuildFuncHelper
struct	IncreasesOpBuildFuncHelper
struct	OldOpBuildFuncHelper
struct	ProveDetOpBuildFuncHelper
struct	RequireComputeOpBuildFuncHelper
struct	RequireConstrainOpBuildFuncHelper
struct	StepOpBuildFuncHelper
struct	StepYieldOpBuildFuncHelper
struct	VerifAssertOpBuildFuncHelper
struct	VerifProveOpBuildFuncHelper
struct	VerifSMTProveOpBuildFuncHelper

Functions
	TEST_F (VerifOperationLinkTests, IsA_Verif_AssumeDetOp)
	This test ensures llzkOperationIsA_Verif_AssumeDetOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_AssumeDetOp_Build)
	This test ensures llzkVerif_AssumeDetOpBuild links properly.
	TEST_F (CAPITest, Verif_AssumeDetOp_build_pass)
	This test ensures llzkVerifAssumeDetOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_AssumeDetOp_GetHint)
	TEST_F (VerifOperationLinkTests, llzk_AssumeDetOp_SetHint)
	TEST_F (VerifOperationLinkTests, IsA_Verif_ContractEndOp)
	This test ensures llzkOperationIsA_Verif_ContractEndOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractEndOp_Build)
	This test ensures llzkVerif_ContractEndOpBuild links properly.
	TEST_F (CAPITest, Verif_ContractEndOp_build_pass)
	This test ensures llzkVerifContractEndOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, IsA_Verif_ContractOp)
	This test ensures llzkOperationIsA_Verif_ContractOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetSymNameAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_SetSymNameAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetTargetAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_SetTargetAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetFunctionTypeAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_SetFunctionTypeAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetArgAttrsAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_SetArgAttrsAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetResAttrsAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_SetResAttrsAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetBodyRegion)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_IsDeclaration)
	This test ensures llzkVerif_ContractOpIsDeclaration links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_HasArgPublicAttr)
	This test ensures llzkVerif_ContractOpHasArgPublicAttr links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_HasFuncTarget)
	This test ensures llzkVerif_ContractOpHasFuncTarget links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_HasStructTarget)
	This test ensures llzkVerif_ContractOpHasStructTarget links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetCallableRegion)
	This test ensures llzkVerif_ContractOpGetCallableRegion links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_HasArgName)
	This test ensures llzkVerif_ContractOpHasArgName links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetFullyQualifiedName)
	This test ensures llzkVerif_ContractOpGetFullyQualifiedName links properly.
	TEST_F (VerifOperationLinkTests, IsA_Verif_DecreasesOp)
	This test ensures llzkOperationIsA_Verif_DecreasesOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_DecreasesOp_Build)
	This test ensures llzkVerif_DecreasesOpBuild links properly.
	TEST_F (CAPITest, Verif_DecreasesOp_build_pass)
	This test ensures llzkVerifDecreasesOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_DecreasesOp_GetValue)
	TEST_F (VerifOperationLinkTests, llzk_DecreasesOp_SetValue)
	TEST_F (VerifOperationLinkTests, IsA_Verif_EnsureComputeOp)
	This test ensures llzkOperationIsA_Verif_EnsureComputeOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_EnsureComputeOp_Build)
	This test ensures llzkVerif_EnsureComputeOpBuild links properly.
	TEST_F (CAPITest, Verif_EnsureComputeOp_build_pass)
	This test ensures llzkVerifEnsureComputeOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_EnsureComputeOp_GetCondition)
	TEST_F (VerifOperationLinkTests, llzk_EnsureComputeOp_SetCondition)
	TEST_F (VerifOperationLinkTests, IsA_Verif_EnsureConstrainOp)
	This test ensures llzkOperationIsA_Verif_EnsureConstrainOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_EnsureConstrainOp_Build)
	This test ensures llzkVerif_EnsureConstrainOpBuild links properly.
	TEST_F (CAPITest, Verif_EnsureConstrainOp_build_pass)
	This test ensures llzkVerifEnsureConstrainOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_EnsureConstrainOp_GetCondition)
	TEST_F (VerifOperationLinkTests, llzk_EnsureConstrainOp_SetCondition)
	TEST_F (VerifOperationLinkTests, IsA_Verif_IncludeOp)
	This test ensures llzkOperationIsA_Verif_IncludeOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetArgOperandsCount)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetArgOperandsAt)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_SetArgOperands_Variadic)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetMapOperandsCount)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetMapOperandsAt)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_SetMapOperands_VariadicOfVariadic)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetCalleeAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_SetCalleeAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetTemplateParamsAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_SetTemplateParamsAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetNumDimsPerMapAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_SetNumDimsPerMapAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetMapOpGroupSizesAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_SetMapOpGroupSizesAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetArgAttrsAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_SetArgAttrsAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetResAttrsAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_SetResAttrsAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_ContractTargetsStruct)
	This test ensures llzkVerif_IncludeOpContractTargetsStruct links properly.
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_ResolveCallable)
	This test ensures llzkVerif_IncludeOpResolveCallable links properly.
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetSelfValue)
	This test ensures llzkVerif_IncludeOpGetSelfValue links properly.
	TEST_F (VerifOperationLinkTests, IsA_Verif_IncreasesOp)
	This test ensures llzkOperationIsA_Verif_IncreasesOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_IncreasesOp_Build)
	This test ensures llzkVerif_IncreasesOpBuild links properly.
	TEST_F (CAPITest, Verif_IncreasesOp_build_pass)
	This test ensures llzkVerifIncreasesOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_IncreasesOp_GetValue)
	TEST_F (VerifOperationLinkTests, llzk_IncreasesOp_SetValue)
	TEST_F (VerifOperationLinkTests, IsA_Verif_InvariantOp)
	This test ensures llzkOperationIsA_Verif_InvariantOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_InvariantOp_GetLoopNameAttr)
	TEST_F (VerifOperationLinkTests, llzk_InvariantOp_SetLoopNameAttr)
	TEST_F (VerifOperationLinkTests, llzk_InvariantOp_GetLoopArgTypesAttr)
	TEST_F (VerifOperationLinkTests, llzk_InvariantOp_SetLoopArgTypesAttr)
	TEST_F (VerifOperationLinkTests, llzk_InvariantOp_GetRegionRegion)
	TEST_F (VerifOperationLinkTests, llzk_InvariantOp_GetParentContract)
	This test ensures llzkVerif_InvariantOpGetParentContract links properly.
	TEST_F (VerifOperationLinkTests, IsA_Verif_OldOp)
	This test ensures llzkOperationIsA_Verif_OldOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_OldOp_Build)
	This test ensures llzkVerif_OldOpBuild links properly.
	TEST_F (CAPITest, Verif_OldOp_build_pass)
	This test ensures llzkVerifOldOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_OldOp_GetValue)
	TEST_F (VerifOperationLinkTests, llzk_OldOp_SetValue)
	TEST_F (VerifOperationLinkTests, llzk_OldOp_GetResult)
	TEST_F (VerifOperationLinkTests, IsA_Verif_ProveDetOp)
	This test ensures llzkOperationIsA_Verif_ProveDetOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_ProveDetOp_Build)
	This test ensures llzkVerif_ProveDetOpBuild links properly.
	TEST_F (CAPITest, Verif_ProveDetOp_build_pass)
	This test ensures llzkVerifProveDetOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_ProveDetOp_GetCondition)
	TEST_F (VerifOperationLinkTests, llzk_ProveDetOp_SetCondition)
	TEST_F (VerifOperationLinkTests, llzk_ProveDetOp_GetResult)
	TEST_F (VerifOperationLinkTests, IsA_Verif_RequireComputeOp)
	This test ensures llzkOperationIsA_Verif_RequireComputeOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_RequireComputeOp_Build)
	This test ensures llzkVerif_RequireComputeOpBuild links properly.
	TEST_F (CAPITest, Verif_RequireComputeOp_build_pass)
	This test ensures llzkVerifRequireComputeOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_RequireComputeOp_GetCondition)
	TEST_F (VerifOperationLinkTests, llzk_RequireComputeOp_SetCondition)
	TEST_F (VerifOperationLinkTests, IsA_Verif_RequireConstrainOp)
	This test ensures llzkOperationIsA_Verif_RequireConstrainOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_RequireConstrainOp_Build)
	This test ensures llzkVerif_RequireConstrainOpBuild links properly.
	TEST_F (CAPITest, Verif_RequireConstrainOp_build_pass)
	This test ensures llzkVerifRequireConstrainOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_RequireConstrainOp_GetCondition)
	TEST_F (VerifOperationLinkTests, llzk_RequireConstrainOp_SetCondition)
	TEST_F (VerifOperationLinkTests, IsA_Verif_StepOp)
	This test ensures llzkOperationIsA_Verif_StepOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_StepOp_Build)
	This test ensures llzkVerif_StepOpBuild links properly.
	TEST_F (CAPITest, Verif_StepOp_build_pass)
	This test ensures llzkVerifStepOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_StepOp_GetRegionRegion)
	TEST_F (VerifOperationLinkTests, IsA_Verif_StepYieldOp)
	This test ensures llzkOperationIsA_Verif_StepYieldOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_StepYieldOp_Build)
	This test ensures llzkVerif_StepYieldOpBuild links properly.
	TEST_F (CAPITest, Verif_StepYieldOp_build_pass)
	This test ensures llzkVerifStepYieldOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_StepYieldOp_GetValue)
	TEST_F (VerifOperationLinkTests, llzk_StepYieldOp_SetValue)
	TEST_F (VerifOperationLinkTests, IsA_Verif_VerifAssertOp)
	This test ensures llzkOperationIsA_Verif_VerifAssertOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_VerifAssertOp_Build)
	This test ensures llzkVerif_VerifAssertOpBuild links properly.
	TEST_F (CAPITest, Verif_VerifAssertOp_build_pass)
	This test ensures llzkVerifVerifAssertOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_VerifAssertOp_GetCondition)
	TEST_F (VerifOperationLinkTests, llzk_VerifAssertOp_SetCondition)
	TEST_F (VerifOperationLinkTests, IsA_Verif_VerifProveOp)
	This test ensures llzkOperationIsA_Verif_VerifProveOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_VerifProveOp_Build)
	This test ensures llzkVerif_VerifProveOpBuild links properly.
	TEST_F (CAPITest, Verif_VerifProveOp_build_pass)
	This test ensures llzkVerifVerifProveOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_VerifProveOp_GetCondition)
	TEST_F (VerifOperationLinkTests, llzk_VerifProveOp_SetCondition)
	TEST_F (VerifOperationLinkTests, IsA_Verif_VerifSMTProveOp)
	This test ensures llzkOperationIsA_Verif_VerifSMTProveOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_VerifSMTProveOp_Build)
	This test ensures llzkVerif_VerifSMTProveOpBuild links properly.
	TEST_F (CAPITest, Verif_VerifSMTProveOp_build_pass)
	This test ensures llzkVerifVerifSMTProveOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_VerifSMTProveOp_GetCondition)
	TEST_F (VerifOperationLinkTests, llzk_VerifSMTProveOp_SetCondition)

Function Documentation

TEST_F() [1/122]

TEST_F	(	CAPITest	,
		Verif_AssumeDetOp_build_pass	)

This test ensures llzkVerifAssumeDetOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of AssumeDetOpBuildFuncHelper::callBuild() that calls llzkVerifAssumeDetOpBuild().

Definition at line 54 of file Ops.capi.test.cpp.inc.

TEST_F() [2/122]

TEST_F	(	CAPITest	,
		Verif_ContractEndOp_build_pass	)

This test ensures llzkVerifContractEndOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of ContractEndOpBuildFuncHelper::callBuild() that calls llzkVerifContractEndOpBuild().

Definition at line 119 of file Ops.capi.test.cpp.inc.

TEST_F() [3/122]

TEST_F	(	CAPITest	,
		Verif_DecreasesOp_build_pass	)

This test ensures llzkVerifDecreasesOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of DecreasesOpBuildFuncHelper::callBuild() that calls llzkVerifDecreasesOpBuild().

Definition at line 370 of file Ops.capi.test.cpp.inc.

TEST_F() [4/122]

TEST_F	(	CAPITest	,
		Verif_EnsureComputeOp_build_pass	)

This test ensures llzkVerifEnsureComputeOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of EnsureComputeOpBuildFuncHelper::callBuild() that calls llzkVerifEnsureComputeOpBuild().

Definition at line 435 of file Ops.capi.test.cpp.inc.

TEST_F() [5/122]

TEST_F	(	CAPITest	,
		Verif_EnsureConstrainOp_build_pass	)

This test ensures llzkVerifEnsureConstrainOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of EnsureConstrainOpBuildFuncHelper::callBuild() that calls llzkVerifEnsureConstrainOpBuild().

Definition at line 500 of file Ops.capi.test.cpp.inc.

TEST_F() [6/122]

TEST_F	(	CAPITest	,
		Verif_IncreasesOp_build_pass	)

This test ensures llzkVerifIncreasesOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of IncreasesOpBuildFuncHelper::callBuild() that calls llzkVerifIncreasesOpBuild().

Definition at line 797 of file Ops.capi.test.cpp.inc.

TEST_F() [7/122]

TEST_F	(	CAPITest	,
		Verif_OldOp_build_pass	)

This test ensures llzkVerifOldOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of OldOpBuildFuncHelper::callBuild() that calls llzkVerifOldOpBuild().

Definition at line 934 of file Ops.capi.test.cpp.inc.

TEST_F() [8/122]

TEST_F	(	CAPITest	,
		Verif_ProveDetOp_build_pass	)

This test ensures llzkVerifProveDetOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of ProveDetOpBuildFuncHelper::callBuild() that calls llzkVerifProveDetOpBuild().

Definition at line 1009 of file Ops.capi.test.cpp.inc.

TEST_F() [9/122]

TEST_F	(	CAPITest	,
		Verif_RequireComputeOp_build_pass	)

This test ensures llzkVerifRequireComputeOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of RequireComputeOpBuildFuncHelper::callBuild() that calls llzkVerifRequireComputeOpBuild().

Definition at line 1084 of file Ops.capi.test.cpp.inc.

TEST_F() [10/122]

TEST_F	(	CAPITest	,
		Verif_RequireConstrainOp_build_pass	)

This test ensures llzkVerifRequireConstrainOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of RequireConstrainOpBuildFuncHelper::callBuild() that calls llzkVerifRequireConstrainOpBuild().

Definition at line 1149 of file Ops.capi.test.cpp.inc.

TEST_F() [11/122]

TEST_F	(	CAPITest	,
		Verif_StepOp_build_pass	)

This test ensures llzkVerifStepOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of StepOpBuildFuncHelper::callBuild() that calls llzkVerifStepOpBuild().

Definition at line 1214 of file Ops.capi.test.cpp.inc.

TEST_F() [12/122]

TEST_F	(	CAPITest	,
		Verif_StepYieldOp_build_pass	)

This test ensures llzkVerifStepYieldOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of StepYieldOpBuildFuncHelper::callBuild() that calls llzkVerifStepYieldOpBuild().

Definition at line 1268 of file Ops.capi.test.cpp.inc.

TEST_F() [13/122]

TEST_F	(	CAPITest	,
		Verif_VerifAssertOp_build_pass	)

This test ensures llzkVerifVerifAssertOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of VerifAssertOpBuildFuncHelper::callBuild() that calls llzkVerifVerifAssertOpBuild().

Definition at line 1333 of file Ops.capi.test.cpp.inc.

TEST_F() [14/122]

TEST_F	(	CAPITest	,
		Verif_VerifProveOp_build_pass	)

This test ensures llzkVerifVerifProveOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of VerifProveOpBuildFuncHelper::callBuild() that calls llzkVerifVerifProveOpBuild().

Definition at line 1398 of file Ops.capi.test.cpp.inc.

TEST_F() [15/122]

TEST_F	(	CAPITest	,
		Verif_VerifSMTProveOp_build_pass	)

This test ensures llzkVerifVerifSMTProveOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of VerifSMTProveOpBuildFuncHelper::callBuild() that calls llzkVerifVerifSMTProveOpBuild().

Definition at line 1463 of file Ops.capi.test.cpp.inc.

TEST_F() [16/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_AssumeDetOp	)

This test ensures llzkOperationIsA_Verif_AssumeDetOp links properly.

Definition at line 13 of file Ops.capi.test.cpp.inc.

TEST_F() [17/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_ContractEndOp	)

This test ensures llzkOperationIsA_Verif_ContractEndOp links properly.

Definition at line 78 of file Ops.capi.test.cpp.inc.

TEST_F() [18/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_ContractOp	)

This test ensures llzkOperationIsA_Verif_ContractOp links properly.

Definition at line 122 of file Ops.capi.test.cpp.inc.

TEST_F() [19/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_DecreasesOp	)

This test ensures llzkOperationIsA_Verif_DecreasesOp links properly.

Definition at line 329 of file Ops.capi.test.cpp.inc.

TEST_F() [20/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_EnsureComputeOp	)

This test ensures llzkOperationIsA_Verif_EnsureComputeOp links properly.

Definition at line 394 of file Ops.capi.test.cpp.inc.

TEST_F() [21/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_EnsureConstrainOp	)

This test ensures llzkOperationIsA_Verif_EnsureConstrainOp links properly.

Definition at line 459 of file Ops.capi.test.cpp.inc.

TEST_F() [22/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_IncludeOp	)

This test ensures llzkOperationIsA_Verif_IncludeOp links properly.

Definition at line 524 of file Ops.capi.test.cpp.inc.

TEST_F() [23/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_IncreasesOp	)

This test ensures llzkOperationIsA_Verif_IncreasesOp links properly.

Definition at line 756 of file Ops.capi.test.cpp.inc.

TEST_F() [24/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_InvariantOp	)

This test ensures llzkOperationIsA_Verif_InvariantOp links properly.

Definition at line 821 of file Ops.capi.test.cpp.inc.

TEST_F() [25/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_OldOp	)

This test ensures llzkOperationIsA_Verif_OldOp links properly.

Definition at line 893 of file Ops.capi.test.cpp.inc.

TEST_F() [26/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_ProveDetOp	)

This test ensures llzkOperationIsA_Verif_ProveDetOp links properly.

Definition at line 968 of file Ops.capi.test.cpp.inc.

TEST_F() [27/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_RequireComputeOp	)

This test ensures llzkOperationIsA_Verif_RequireComputeOp links properly.

Definition at line 1043 of file Ops.capi.test.cpp.inc.

TEST_F() [28/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_RequireConstrainOp	)

This test ensures llzkOperationIsA_Verif_RequireConstrainOp links properly.

Definition at line 1108 of file Ops.capi.test.cpp.inc.

TEST_F() [29/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_StepOp	)

This test ensures llzkOperationIsA_Verif_StepOp links properly.

Definition at line 1173 of file Ops.capi.test.cpp.inc.

TEST_F() [30/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_StepYieldOp	)

This test ensures llzkOperationIsA_Verif_StepYieldOp links properly.

Definition at line 1227 of file Ops.capi.test.cpp.inc.

TEST_F() [31/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_VerifAssertOp	)

This test ensures llzkOperationIsA_Verif_VerifAssertOp links properly.

Definition at line 1292 of file Ops.capi.test.cpp.inc.

TEST_F() [32/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_VerifProveOp	)

This test ensures llzkOperationIsA_Verif_VerifProveOp links properly.

Definition at line 1357 of file Ops.capi.test.cpp.inc.

TEST_F() [33/122]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_VerifSMTProveOp	)

This test ensures llzkOperationIsA_Verif_VerifSMTProveOp links properly.

Definition at line 1422 of file Ops.capi.test.cpp.inc.

TEST_F() [34/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_AssumeDetOp_Build	)

This test ensures llzkVerif_AssumeDetOpBuild links properly.

Definition at line 23 of file Ops.capi.test.cpp.inc.

TEST_F() [35/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_AssumeDetOp_GetHint	)

Definition at line 56 of file Ops.capi.test.cpp.inc.

TEST_F() [36/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_AssumeDetOp_SetHint	)

Definition at line 66 of file Ops.capi.test.cpp.inc.

TEST_F() [37/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractEndOp_Build	)

This test ensures llzkVerif_ContractEndOpBuild links properly.

Definition at line 88 of file Ops.capi.test.cpp.inc.

TEST_F() [38/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetArgAttrsAttr	)

Definition at line 191 of file Ops.capi.test.cpp.inc.

TEST_F() [39/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetBodyRegion	)

Definition at line 231 of file Ops.capi.test.cpp.inc.

TEST_F() [40/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetCallableRegion	)

This test ensures llzkVerif_ContractOpGetCallableRegion links properly.

Definition at line 291 of file Ops.capi.test.cpp.inc.

TEST_F() [41/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetFullyQualifiedName	)

This test ensures llzkVerif_ContractOpGetFullyQualifiedName links properly.

Definition at line 316 of file Ops.capi.test.cpp.inc.

TEST_F() [42/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetFunctionTypeAttr	)

Definition at line 171 of file Ops.capi.test.cpp.inc.

TEST_F() [43/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetResAttrsAttr	)

Definition at line 211 of file Ops.capi.test.cpp.inc.

TEST_F() [44/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetSymNameAttr	)

Definition at line 131 of file Ops.capi.test.cpp.inc.

TEST_F() [45/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetTargetAttr	)

Definition at line 151 of file Ops.capi.test.cpp.inc.

TEST_F() [46/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasArgName	)

This test ensures llzkVerif_ContractOpHasArgName links properly.

Definition at line 303 of file Ops.capi.test.cpp.inc.

TEST_F() [47/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasArgPublicAttr	)

This test ensures llzkVerif_ContractOpHasArgPublicAttr links properly.

Definition at line 254 of file Ops.capi.test.cpp.inc.

TEST_F() [48/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasFuncTarget	)

This test ensures llzkVerif_ContractOpHasFuncTarget links properly.

Definition at line 267 of file Ops.capi.test.cpp.inc.

TEST_F() [49/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasStructTarget	)

This test ensures llzkVerif_ContractOpHasStructTarget links properly.

Definition at line 279 of file Ops.capi.test.cpp.inc.

TEST_F() [50/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_IsDeclaration	)

This test ensures llzkVerif_ContractOpIsDeclaration links properly.

Definition at line 242 of file Ops.capi.test.cpp.inc.

TEST_F() [51/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetArgAttrsAttr	)

Definition at line 201 of file Ops.capi.test.cpp.inc.

TEST_F() [52/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetFunctionTypeAttr	)

Definition at line 181 of file Ops.capi.test.cpp.inc.

TEST_F() [53/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetResAttrsAttr	)

Definition at line 221 of file Ops.capi.test.cpp.inc.

TEST_F() [54/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetSymNameAttr	)

Definition at line 141 of file Ops.capi.test.cpp.inc.

TEST_F() [55/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetTargetAttr	)

Definition at line 161 of file Ops.capi.test.cpp.inc.

TEST_F() [56/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_DecreasesOp_Build	)

This test ensures llzkVerif_DecreasesOpBuild links properly.

Definition at line 339 of file Ops.capi.test.cpp.inc.

TEST_F() [57/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_DecreasesOp_GetValue	)

Definition at line 372 of file Ops.capi.test.cpp.inc.

TEST_F() [58/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_DecreasesOp_SetValue	)

Definition at line 382 of file Ops.capi.test.cpp.inc.

TEST_F() [59/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureComputeOp_Build	)

This test ensures llzkVerif_EnsureComputeOpBuild links properly.

Definition at line 404 of file Ops.capi.test.cpp.inc.

TEST_F() [60/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureComputeOp_GetCondition	)

Definition at line 437 of file Ops.capi.test.cpp.inc.

TEST_F() [61/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureComputeOp_SetCondition	)

Definition at line 447 of file Ops.capi.test.cpp.inc.

TEST_F() [62/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureConstrainOp_Build	)

This test ensures llzkVerif_EnsureConstrainOpBuild links properly.

Definition at line 469 of file Ops.capi.test.cpp.inc.

TEST_F() [63/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureConstrainOp_GetCondition	)

Definition at line 502 of file Ops.capi.test.cpp.inc.

TEST_F() [64/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureConstrainOp_SetCondition	)

Definition at line 512 of file Ops.capi.test.cpp.inc.

TEST_F() [65/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_ContractTargetsStruct	)

This test ensures llzkVerif_IncludeOpContractTargetsStruct links properly.

Definition at line 720 of file Ops.capi.test.cpp.inc.

TEST_F() [66/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetArgAttrsAttr	)

Definition at line 679 of file Ops.capi.test.cpp.inc.

TEST_F() [67/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetArgOperandsAt	)

Definition at line 543 of file Ops.capi.test.cpp.inc.

TEST_F() [68/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetArgOperandsCount	)

Definition at line 533 of file Ops.capi.test.cpp.inc.

TEST_F() [69/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetCalleeAttr	)

Definition at line 599 of file Ops.capi.test.cpp.inc.

TEST_F() [70/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetMapOperandsAt	)

Definition at line 575 of file Ops.capi.test.cpp.inc.

TEST_F() [71/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetMapOperandsCount	)

Definition at line 565 of file Ops.capi.test.cpp.inc.

TEST_F() [72/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetMapOpGroupSizesAttr	)

Definition at line 659 of file Ops.capi.test.cpp.inc.

TEST_F() [73/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetNumDimsPerMapAttr	)

Definition at line 639 of file Ops.capi.test.cpp.inc.

TEST_F() [74/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetResAttrsAttr	)

Definition at line 699 of file Ops.capi.test.cpp.inc.

TEST_F() [75/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetSelfValue	)

This test ensures llzkVerif_IncludeOpGetSelfValue links properly.

Definition at line 744 of file Ops.capi.test.cpp.inc.

TEST_F() [76/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetTemplateParamsAttr	)

Definition at line 619 of file Ops.capi.test.cpp.inc.

TEST_F() [77/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_ResolveCallable	)

This test ensures llzkVerif_IncludeOpResolveCallable links properly.

Definition at line 732 of file Ops.capi.test.cpp.inc.

TEST_F() [78/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetArgAttrsAttr	)

Definition at line 689 of file Ops.capi.test.cpp.inc.

TEST_F() [79/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetArgOperands_Variadic	)

Definition at line 553 of file Ops.capi.test.cpp.inc.

TEST_F() [80/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetCalleeAttr	)

Definition at line 609 of file Ops.capi.test.cpp.inc.

TEST_F() [81/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetMapOperands_VariadicOfVariadic	)

Definition at line 585 of file Ops.capi.test.cpp.inc.

TEST_F() [82/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetMapOpGroupSizesAttr	)

Definition at line 669 of file Ops.capi.test.cpp.inc.

TEST_F() [83/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetNumDimsPerMapAttr	)

Definition at line 649 of file Ops.capi.test.cpp.inc.

TEST_F() [84/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetResAttrsAttr	)

Definition at line 709 of file Ops.capi.test.cpp.inc.

TEST_F() [85/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetTemplateParamsAttr	)

Definition at line 629 of file Ops.capi.test.cpp.inc.

TEST_F() [86/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncreasesOp_Build	)

This test ensures llzkVerif_IncreasesOpBuild links properly.

Definition at line 766 of file Ops.capi.test.cpp.inc.

TEST_F() [87/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncreasesOp_GetValue	)

Definition at line 799 of file Ops.capi.test.cpp.inc.

TEST_F() [88/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncreasesOp_SetValue	)

Definition at line 809 of file Ops.capi.test.cpp.inc.

TEST_F() [89/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_GetLoopArgTypesAttr	)

Definition at line 850 of file Ops.capi.test.cpp.inc.

TEST_F() [90/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_GetLoopNameAttr	)

Definition at line 830 of file Ops.capi.test.cpp.inc.

TEST_F() [91/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_GetParentContract	)

This test ensures llzkVerif_InvariantOpGetParentContract links properly.

Definition at line 881 of file Ops.capi.test.cpp.inc.

TEST_F() [92/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_GetRegionRegion	)

Definition at line 870 of file Ops.capi.test.cpp.inc.

TEST_F() [93/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_SetLoopArgTypesAttr	)

Definition at line 860 of file Ops.capi.test.cpp.inc.

TEST_F() [94/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_SetLoopNameAttr	)

Definition at line 840 of file Ops.capi.test.cpp.inc.

TEST_F() [95/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_OldOp_Build	)

This test ensures llzkVerif_OldOpBuild links properly.

Definition at line 903 of file Ops.capi.test.cpp.inc.

TEST_F() [96/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_OldOp_GetResult	)

Definition at line 957 of file Ops.capi.test.cpp.inc.

TEST_F() [97/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_OldOp_GetValue	)

Definition at line 936 of file Ops.capi.test.cpp.inc.

TEST_F() [98/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_OldOp_SetValue	)

Definition at line 946 of file Ops.capi.test.cpp.inc.

TEST_F() [99/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ProveDetOp_Build	)

This test ensures llzkVerif_ProveDetOpBuild links properly.

Definition at line 978 of file Ops.capi.test.cpp.inc.

TEST_F() [100/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ProveDetOp_GetCondition	)

Definition at line 1011 of file Ops.capi.test.cpp.inc.

TEST_F() [101/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ProveDetOp_GetResult	)

Definition at line 1032 of file Ops.capi.test.cpp.inc.

TEST_F() [102/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ProveDetOp_SetCondition	)

Definition at line 1021 of file Ops.capi.test.cpp.inc.

TEST_F() [103/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireComputeOp_Build	)

This test ensures llzkVerif_RequireComputeOpBuild links properly.

Definition at line 1053 of file Ops.capi.test.cpp.inc.

TEST_F() [104/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireComputeOp_GetCondition	)

Definition at line 1086 of file Ops.capi.test.cpp.inc.

TEST_F() [105/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireComputeOp_SetCondition	)

Definition at line 1096 of file Ops.capi.test.cpp.inc.

TEST_F() [106/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireConstrainOp_Build	)

This test ensures llzkVerif_RequireConstrainOpBuild links properly.

Definition at line 1118 of file Ops.capi.test.cpp.inc.

TEST_F() [107/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireConstrainOp_GetCondition	)

Definition at line 1151 of file Ops.capi.test.cpp.inc.

TEST_F() [108/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireConstrainOp_SetCondition	)

Definition at line 1161 of file Ops.capi.test.cpp.inc.

TEST_F() [109/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepOp_Build	)

This test ensures llzkVerif_StepOpBuild links properly.

Definition at line 1183 of file Ops.capi.test.cpp.inc.

TEST_F() [110/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepOp_GetRegionRegion	)

Definition at line 1216 of file Ops.capi.test.cpp.inc.

TEST_F() [111/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepYieldOp_Build	)

This test ensures llzkVerif_StepYieldOpBuild links properly.

Definition at line 1237 of file Ops.capi.test.cpp.inc.

TEST_F() [112/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepYieldOp_GetValue	)

Definition at line 1270 of file Ops.capi.test.cpp.inc.

TEST_F() [113/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepYieldOp_SetValue	)

Definition at line 1280 of file Ops.capi.test.cpp.inc.

TEST_F() [114/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifAssertOp_Build	)

This test ensures llzkVerif_VerifAssertOpBuild links properly.

Definition at line 1302 of file Ops.capi.test.cpp.inc.

TEST_F() [115/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifAssertOp_GetCondition	)

Definition at line 1335 of file Ops.capi.test.cpp.inc.

TEST_F() [116/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifAssertOp_SetCondition	)

Definition at line 1345 of file Ops.capi.test.cpp.inc.

TEST_F() [117/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifProveOp_Build	)

This test ensures llzkVerif_VerifProveOpBuild links properly.

Definition at line 1367 of file Ops.capi.test.cpp.inc.

TEST_F() [118/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifProveOp_GetCondition	)

Definition at line 1400 of file Ops.capi.test.cpp.inc.

TEST_F() [119/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifProveOp_SetCondition	)

Definition at line 1410 of file Ops.capi.test.cpp.inc.

TEST_F() [120/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifSMTProveOp_Build	)

This test ensures llzkVerif_VerifSMTProveOpBuild links properly.

Definition at line 1432 of file Ops.capi.test.cpp.inc.

TEST_F() [121/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifSMTProveOp_GetCondition	)

Definition at line 1465 of file Ops.capi.test.cpp.inc.

TEST_F() [122/122]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifSMTProveOp_SetCondition	)

Definition at line 1475 of file Ops.capi.test.cpp.inc.