Ops.capi.test.cpp.inc File Reference

Go to the source code of this file.

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

Functions
	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_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_ContractTargetsStruct)
	This test ensures llzkVerif_IncludeOpContractTargetsStruct links properly.
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetSelfValue)
	This test ensures llzkVerif_IncludeOpGetSelfValue links properly.
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetTypeSignature)
	This test ensures llzkVerif_IncludeOpGetTypeSignature links properly.
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_ResolveCallable)
	This test ensures llzkVerif_IncludeOpResolveCallable 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_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/106]

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 54 of file Ops.capi.test.cpp.inc.

TEST_F() [2/106]

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 285 of file Ops.capi.test.cpp.inc.

TEST_F() [3/106]

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 350 of file Ops.capi.test.cpp.inc.

TEST_F() [4/106]

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 415 of file Ops.capi.test.cpp.inc.

TEST_F() [5/106]

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 684 of file Ops.capi.test.cpp.inc.

TEST_F() [6/106]

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 821 of file Ops.capi.test.cpp.inc.

TEST_F() [7/106]

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 896 of file Ops.capi.test.cpp.inc.

TEST_F() [8/106]

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 961 of file Ops.capi.test.cpp.inc.

TEST_F() [9/106]

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 1026 of file Ops.capi.test.cpp.inc.

TEST_F() [10/106]

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 1080 of file Ops.capi.test.cpp.inc.

TEST_F() [11/106]

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 1145 of file Ops.capi.test.cpp.inc.

TEST_F() [12/106]

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 1210 of file Ops.capi.test.cpp.inc.

TEST_F() [13/106]

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 1275 of file Ops.capi.test.cpp.inc.

TEST_F() [14/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_ContractEndOp	)

This test ensures llzkOperationIsA_Verif_ContractEndOp links properly.

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

TEST_F() [15/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_ContractOp	)

This test ensures llzkOperationIsA_Verif_ContractOp links properly.

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

TEST_F() [16/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_DecreasesOp	)

This test ensures llzkOperationIsA_Verif_DecreasesOp links properly.

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

TEST_F() [17/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_EnsureComputeOp	)

This test ensures llzkOperationIsA_Verif_EnsureComputeOp links properly.

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

TEST_F() [18/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_EnsureConstrainOp	)

This test ensures llzkOperationIsA_Verif_EnsureConstrainOp links properly.

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

TEST_F() [19/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_IncludeOp	)

This test ensures llzkOperationIsA_Verif_IncludeOp links properly.

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

TEST_F() [20/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_IncreasesOp	)

This test ensures llzkOperationIsA_Verif_IncreasesOp links properly.

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

TEST_F() [21/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_InvariantOp	)

This test ensures llzkOperationIsA_Verif_InvariantOp links properly.

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

TEST_F() [22/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_OldOp	)

This test ensures llzkOperationIsA_Verif_OldOp links properly.

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

TEST_F() [23/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_RequireComputeOp	)

This test ensures llzkOperationIsA_Verif_RequireComputeOp links properly.

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

TEST_F() [24/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_RequireConstrainOp	)

This test ensures llzkOperationIsA_Verif_RequireConstrainOp links properly.

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

TEST_F() [25/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_StepOp	)

This test ensures llzkOperationIsA_Verif_StepOp links properly.

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

TEST_F() [26/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_StepYieldOp	)

This test ensures llzkOperationIsA_Verif_StepYieldOp links properly.

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

TEST_F() [27/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_VerifAssertOp	)

This test ensures llzkOperationIsA_Verif_VerifAssertOp links properly.

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

TEST_F() [28/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_VerifProveOp	)

This test ensures llzkOperationIsA_Verif_VerifProveOp links properly.

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

TEST_F() [29/106]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_VerifSMTProveOp	)

This test ensures llzkOperationIsA_Verif_VerifSMTProveOp links properly.

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

TEST_F() [30/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractEndOp_Build	)

This test ensures llzkVerif_ContractEndOpBuild links properly.

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

TEST_F() [31/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetArgAttrsAttr	)

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

TEST_F() [32/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetBodyRegion	)

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

TEST_F() [33/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetCallableRegion	)

This test ensures llzkVerif_ContractOpGetCallableRegion links properly.

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

TEST_F() [34/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetFullyQualifiedName	)

This test ensures llzkVerif_ContractOpGetFullyQualifiedName links properly.

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

TEST_F() [35/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetFunctionTypeAttr	)

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

TEST_F() [36/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetSymNameAttr	)

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

TEST_F() [37/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetTargetAttr	)

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

TEST_F() [38/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasArgName	)

This test ensures llzkVerif_ContractOpHasArgName links properly.

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

TEST_F() [39/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasArgPublicAttr	)

This test ensures llzkVerif_ContractOpHasArgPublicAttr links properly.

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

TEST_F() [40/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasFuncTarget	)

This test ensures llzkVerif_ContractOpHasFuncTarget links properly.

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

TEST_F() [41/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasStructTarget	)

This test ensures llzkVerif_ContractOpHasStructTarget links properly.

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

TEST_F() [42/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_IsDeclaration	)

This test ensures llzkVerif_ContractOpIsDeclaration links properly.

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

TEST_F() [43/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetArgAttrsAttr	)

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

TEST_F() [44/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetFunctionTypeAttr	)

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

TEST_F() [45/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetSymNameAttr	)

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

TEST_F() [46/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetTargetAttr	)

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

TEST_F() [47/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_DecreasesOp_Build	)

This test ensures llzkVerif_DecreasesOpBuild links properly.

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

TEST_F() [48/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_DecreasesOp_GetValue	)

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

TEST_F() [49/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_DecreasesOp_SetValue	)

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

TEST_F() [50/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureComputeOp_Build	)

This test ensures llzkVerif_EnsureComputeOpBuild links properly.

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

TEST_F() [51/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureComputeOp_GetCondition	)

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

TEST_F() [52/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureComputeOp_SetCondition	)

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

TEST_F() [53/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureConstrainOp_Build	)

This test ensures llzkVerif_EnsureConstrainOpBuild links properly.

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

TEST_F() [54/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureConstrainOp_GetCondition	)

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

TEST_F() [55/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureConstrainOp_SetCondition	)

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

TEST_F() [56/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_ContractTargetsStruct	)

This test ensures llzkVerif_IncludeOpContractTargetsStruct links properly.

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

TEST_F() [57/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetArgOperandsAt	)

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

TEST_F() [58/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetArgOperandsCount	)

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

TEST_F() [59/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetCalleeAttr	)

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

TEST_F() [60/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetMapOperandsAt	)

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

TEST_F() [61/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetMapOperandsCount	)

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

TEST_F() [62/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetMapOpGroupSizesAttr	)

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

TEST_F() [63/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetNumDimsPerMapAttr	)

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

TEST_F() [64/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetSelfValue	)

This test ensures llzkVerif_IncludeOpGetSelfValue links properly.

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

TEST_F() [65/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetTemplateParamsAttr	)

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

TEST_F() [66/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetTypeSignature	)

This test ensures llzkVerif_IncludeOpGetTypeSignature links properly.

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

TEST_F() [67/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_ResolveCallable	)

This test ensures llzkVerif_IncludeOpResolveCallable links properly.

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

TEST_F() [68/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetArgOperands_Variadic	)

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

TEST_F() [69/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetCalleeAttr	)

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

TEST_F() [70/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetMapOperands_VariadicOfVariadic	)

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

TEST_F() [71/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetMapOpGroupSizesAttr	)

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

TEST_F() [72/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetNumDimsPerMapAttr	)

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

TEST_F() [73/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetTemplateParamsAttr	)

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

TEST_F() [74/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncreasesOp_Build	)

This test ensures llzkVerif_IncreasesOpBuild links properly.

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

TEST_F() [75/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncreasesOp_GetValue	)

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

TEST_F() [76/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncreasesOp_SetValue	)

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

TEST_F() [77/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_GetLoopArgTypesAttr	)

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

TEST_F() [78/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_GetLoopNameAttr	)

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

TEST_F() [79/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_GetParentContract	)

This test ensures llzkVerif_InvariantOpGetParentContract links properly.

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

TEST_F() [80/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_GetRegionRegion	)

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

TEST_F() [81/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_SetLoopArgTypesAttr	)

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

TEST_F() [82/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_SetLoopNameAttr	)

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

TEST_F() [83/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_OldOp_Build	)

This test ensures llzkVerif_OldOpBuild links properly.

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

TEST_F() [84/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_OldOp_GetResult	)

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

TEST_F() [85/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_OldOp_GetValue	)

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

TEST_F() [86/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_OldOp_SetValue	)

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

TEST_F() [87/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireComputeOp_Build	)

This test ensures llzkVerif_RequireComputeOpBuild links properly.

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

TEST_F() [88/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireComputeOp_GetCondition	)

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

TEST_F() [89/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireComputeOp_SetCondition	)

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

TEST_F() [90/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireConstrainOp_Build	)

This test ensures llzkVerif_RequireConstrainOpBuild links properly.

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

TEST_F() [91/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireConstrainOp_GetCondition	)

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

TEST_F() [92/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireConstrainOp_SetCondition	)

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

TEST_F() [93/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepOp_Build	)

This test ensures llzkVerif_StepOpBuild links properly.

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

TEST_F() [94/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepOp_GetRegionRegion	)

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

TEST_F() [95/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepYieldOp_Build	)

This test ensures llzkVerif_StepYieldOpBuild links properly.

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

TEST_F() [96/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepYieldOp_GetValue	)

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

TEST_F() [97/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepYieldOp_SetValue	)

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

TEST_F() [98/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifAssertOp_Build	)

This test ensures llzkVerif_VerifAssertOpBuild links properly.

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

TEST_F() [99/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifAssertOp_GetCondition	)

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

TEST_F() [100/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifAssertOp_SetCondition	)

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

TEST_F() [101/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifProveOp_Build	)

This test ensures llzkVerif_VerifProveOpBuild links properly.

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

TEST_F() [102/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifProveOp_GetCondition	)

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

TEST_F() [103/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifProveOp_SetCondition	)

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

TEST_F() [104/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifSMTProveOp_Build	)

This test ensures llzkVerif_VerifSMTProveOpBuild links properly.

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

TEST_F() [105/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifSMTProveOp_GetCondition	)

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

TEST_F() [106/106]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifSMTProveOp_SetCondition	)

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