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_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_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/117]

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/117]

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/117]

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

TEST_F() [4/117]

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

TEST_F() [5/117]

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

TEST_F() [6/117]

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

TEST_F() [7/117]

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

TEST_F() [8/117]

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

TEST_F() [9/117]

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

TEST_F() [10/117]

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

TEST_F() [11/117]

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

TEST_F() [12/117]

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

TEST_F() [13/117]

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

TEST_F() [14/117]

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

TEST_F() [15/117]

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

TEST_F() [16/117]

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/117]

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/117]

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/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_DecreasesOp	)

This test ensures llzkOperationIsA_Verif_DecreasesOp links properly.

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

TEST_F() [20/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_EnsureComputeOp	)

This test ensures llzkOperationIsA_Verif_EnsureComputeOp links properly.

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

TEST_F() [21/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_EnsureConstrainOp	)

This test ensures llzkOperationIsA_Verif_EnsureConstrainOp links properly.

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

TEST_F() [22/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_IncludeOp	)

This test ensures llzkOperationIsA_Verif_IncludeOp links properly.

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

TEST_F() [23/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_IncreasesOp	)

This test ensures llzkOperationIsA_Verif_IncreasesOp links properly.

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

TEST_F() [24/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_InvariantOp	)

This test ensures llzkOperationIsA_Verif_InvariantOp links properly.

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

TEST_F() [25/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_OldOp	)

This test ensures llzkOperationIsA_Verif_OldOp links properly.

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

TEST_F() [26/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_ProveDetOp	)

This test ensures llzkOperationIsA_Verif_ProveDetOp links properly.

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

TEST_F() [27/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_RequireComputeOp	)

This test ensures llzkOperationIsA_Verif_RequireComputeOp links properly.

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

TEST_F() [28/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_RequireConstrainOp	)

This test ensures llzkOperationIsA_Verif_RequireConstrainOp links properly.

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

TEST_F() [29/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_StepOp	)

This test ensures llzkOperationIsA_Verif_StepOp links properly.

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

TEST_F() [30/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_StepYieldOp	)

This test ensures llzkOperationIsA_Verif_StepYieldOp links properly.

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

TEST_F() [31/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_VerifAssertOp	)

This test ensures llzkOperationIsA_Verif_VerifAssertOp links properly.

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

TEST_F() [32/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_VerifProveOp	)

This test ensures llzkOperationIsA_Verif_VerifProveOp links properly.

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

TEST_F() [33/117]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_VerifSMTProveOp	)

This test ensures llzkOperationIsA_Verif_VerifSMTProveOp links properly.

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

TEST_F() [34/117]

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/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_AssumeDetOp_GetHint	)

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

TEST_F() [36/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_AssumeDetOp_SetHint	)

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

TEST_F() [37/117]

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/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetArgAttrsAttr	)

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

TEST_F() [39/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetBodyRegion	)

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

TEST_F() [40/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetCallableRegion	)

This test ensures llzkVerif_ContractOpGetCallableRegion links properly.

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

TEST_F() [41/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetFullyQualifiedName	)

This test ensures llzkVerif_ContractOpGetFullyQualifiedName links properly.

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

TEST_F() [42/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetFunctionTypeAttr	)

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

TEST_F() [43/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetSymNameAttr	)

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

TEST_F() [44/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetTargetAttr	)

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

TEST_F() [45/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasArgName	)

This test ensures llzkVerif_ContractOpHasArgName links properly.

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

TEST_F() [46/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasArgPublicAttr	)

This test ensures llzkVerif_ContractOpHasArgPublicAttr links properly.

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

TEST_F() [47/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasFuncTarget	)

This test ensures llzkVerif_ContractOpHasFuncTarget links properly.

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

TEST_F() [48/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasStructTarget	)

This test ensures llzkVerif_ContractOpHasStructTarget links properly.

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

TEST_F() [49/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_IsDeclaration	)

This test ensures llzkVerif_ContractOpIsDeclaration links properly.

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

TEST_F() [50/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetArgAttrsAttr	)

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

TEST_F() [51/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetFunctionTypeAttr	)

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

TEST_F() [52/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetSymNameAttr	)

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

TEST_F() [53/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetTargetAttr	)

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

TEST_F() [54/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_DecreasesOp_Build	)

This test ensures llzkVerif_DecreasesOpBuild links properly.

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

TEST_F() [55/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_DecreasesOp_GetValue	)

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

TEST_F() [56/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_DecreasesOp_SetValue	)

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

TEST_F() [57/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureComputeOp_Build	)

This test ensures llzkVerif_EnsureComputeOpBuild links properly.

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

TEST_F() [58/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureComputeOp_GetCondition	)

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

TEST_F() [59/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureComputeOp_SetCondition	)

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

TEST_F() [60/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureConstrainOp_Build	)

This test ensures llzkVerif_EnsureConstrainOpBuild links properly.

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

TEST_F() [61/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureConstrainOp_GetCondition	)

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

TEST_F() [62/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureConstrainOp_SetCondition	)

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

TEST_F() [63/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_ContractTargetsStruct	)

This test ensures llzkVerif_IncludeOpContractTargetsStruct links properly.

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

TEST_F() [64/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetArgOperandsAt	)

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

TEST_F() [65/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetArgOperandsCount	)

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

TEST_F() [66/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetCalleeAttr	)

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

TEST_F() [67/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetMapOperandsAt	)

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

TEST_F() [68/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetMapOperandsCount	)

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

TEST_F() [69/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetMapOpGroupSizesAttr	)

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

TEST_F() [70/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetNumDimsPerMapAttr	)

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

TEST_F() [71/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetSelfValue	)

This test ensures llzkVerif_IncludeOpGetSelfValue links properly.

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

TEST_F() [72/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetTemplateParamsAttr	)

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

TEST_F() [73/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetTypeSignature	)

This test ensures llzkVerif_IncludeOpGetTypeSignature links properly.

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

TEST_F() [74/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_ResolveCallable	)

This test ensures llzkVerif_IncludeOpResolveCallable links properly.

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

TEST_F() [75/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetArgOperands_Variadic	)

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

TEST_F() [76/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetCalleeAttr	)

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

TEST_F() [77/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetMapOperands_VariadicOfVariadic	)

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

TEST_F() [78/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetMapOpGroupSizesAttr	)

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

TEST_F() [79/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetNumDimsPerMapAttr	)

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

TEST_F() [80/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetTemplateParamsAttr	)

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

TEST_F() [81/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncreasesOp_Build	)

This test ensures llzkVerif_IncreasesOpBuild links properly.

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

TEST_F() [82/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncreasesOp_GetValue	)

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

TEST_F() [83/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncreasesOp_SetValue	)

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

TEST_F() [84/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_GetLoopArgTypesAttr	)

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

TEST_F() [85/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_GetLoopNameAttr	)

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

TEST_F() [86/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_GetParentContract	)

This test ensures llzkVerif_InvariantOpGetParentContract links properly.

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

TEST_F() [87/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_GetRegionRegion	)

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

TEST_F() [88/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_SetLoopArgTypesAttr	)

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

TEST_F() [89/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_InvariantOp_SetLoopNameAttr	)

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

TEST_F() [90/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_OldOp_Build	)

This test ensures llzkVerif_OldOpBuild links properly.

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

TEST_F() [91/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_OldOp_GetResult	)

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

TEST_F() [92/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_OldOp_GetValue	)

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

TEST_F() [93/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_OldOp_SetValue	)

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

TEST_F() [94/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ProveDetOp_Build	)

This test ensures llzkVerif_ProveDetOpBuild links properly.

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

TEST_F() [95/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ProveDetOp_GetCondition	)

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

TEST_F() [96/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ProveDetOp_GetResult	)

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

TEST_F() [97/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ProveDetOp_SetCondition	)

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

TEST_F() [98/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireComputeOp_Build	)

This test ensures llzkVerif_RequireComputeOpBuild links properly.

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

TEST_F() [99/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireComputeOp_GetCondition	)

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

TEST_F() [100/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireComputeOp_SetCondition	)

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

TEST_F() [101/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireConstrainOp_Build	)

This test ensures llzkVerif_RequireConstrainOpBuild links properly.

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

TEST_F() [102/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireConstrainOp_GetCondition	)

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

TEST_F() [103/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireConstrainOp_SetCondition	)

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

TEST_F() [104/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepOp_Build	)

This test ensures llzkVerif_StepOpBuild links properly.

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

TEST_F() [105/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepOp_GetRegionRegion	)

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

TEST_F() [106/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepYieldOp_Build	)

This test ensures llzkVerif_StepYieldOpBuild links properly.

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

TEST_F() [107/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepYieldOp_GetValue	)

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

TEST_F() [108/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_StepYieldOp_SetValue	)

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

TEST_F() [109/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifAssertOp_Build	)

This test ensures llzkVerif_VerifAssertOpBuild links properly.

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

TEST_F() [110/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifAssertOp_GetCondition	)

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

TEST_F() [111/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifAssertOp_SetCondition	)

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

TEST_F() [112/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifProveOp_Build	)

This test ensures llzkVerif_VerifProveOpBuild links properly.

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

TEST_F() [113/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifProveOp_GetCondition	)

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

TEST_F() [114/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifProveOp_SetCondition	)

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

TEST_F() [115/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifSMTProveOp_Build	)

This test ensures llzkVerif_VerifSMTProveOpBuild links properly.

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

TEST_F() [116/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifSMTProveOp_GetCondition	)

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

TEST_F() [117/117]

TEST_F	(	VerifOperationLinkTests	,
		llzk_VerifSMTProveOp_SetCondition	)

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