LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.capi.test.cpp.inc File Reference

Go to the source code of this file.

Classes

class  StructOperationLinkTests
struct  CreateStructOpBuildFuncHelper
struct  MemberWriteOpBuildFuncHelper
struct  StructDefOpBuildFuncHelper

Functions

 TEST_F (StructOperationLinkTests, IsA_Struct_CreateStructOp)
 This test ensures llzkOperationIsA_Struct_CreateStructOp links properly.
 TEST_F (StructOperationLinkTests, llzk_CreateStructOp_Build)
 This test ensures llzkStruct_CreateStructOpBuild links properly.
 TEST_F (CAPITest, CreateStructOp_build_pass)
 This test ensures llzkStructCreateStructOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (StructOperationLinkTests, llzk_CreateStructOp_GetResult)
 TEST_F (StructOperationLinkTests, IsA_Struct_MemberDefOp)
 This test ensures llzkOperationIsA_Struct_MemberDefOp links properly.
 TEST_F (StructOperationLinkTests, llzk_MemberDefOp_GetSymNameAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberDefOp_SetSymNameAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberDefOp_GetTypeAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberDefOp_SetTypeAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberDefOp_GetColumnAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberDefOp_SetColumnAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberDefOp_GetSignalAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberDefOp_SetSignalAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberDefOp_SetPublicAttr)
 This test ensures llzkStruct_MemberDefOpSetPublicAttr links properly.
 TEST_F (StructOperationLinkTests, llzk_MemberDefOp_HasPublicAttr)
 This test ensures llzkStruct_MemberDefOpHasPublicAttr links properly.
 TEST_F (StructOperationLinkTests, IsA_Struct_MemberReadOp)
 This test ensures llzkOperationIsA_Struct_MemberReadOp links properly.
 TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetComponent)
 TEST_F (StructOperationLinkTests, llzk_MemberReadOp_SetComponent)
 TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetMapOperandsCount)
 TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetMapOperandsAt)
 TEST_F (StructOperationLinkTests, llzk_MemberReadOp_SetMapOperands_Variadic)
 TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetMemberNameAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberReadOp_SetMemberNameAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetTableOffsetAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberReadOp_SetTableOffsetAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetNumDimsPerMapAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberReadOp_SetNumDimsPerMapAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetMapOpGroupSizesAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberReadOp_SetMapOpGroupSizesAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetVal)
 TEST_F (StructOperationLinkTests, IsA_Struct_MemberWriteOp)
 This test ensures llzkOperationIsA_Struct_MemberWriteOp links properly.
 TEST_F (StructOperationLinkTests, llzk_MemberWriteOp_Build)
 This test ensures llzkStruct_MemberWriteOpBuild links properly.
 TEST_F (CAPITest, MemberWriteOp_build_pass)
 This test ensures llzkStructMemberWriteOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (StructOperationLinkTests, llzk_MemberWriteOp_GetComponent)
 TEST_F (StructOperationLinkTests, llzk_MemberWriteOp_SetComponent)
 TEST_F (StructOperationLinkTests, llzk_MemberWriteOp_GetVal)
 TEST_F (StructOperationLinkTests, llzk_MemberWriteOp_SetVal)
 TEST_F (StructOperationLinkTests, llzk_MemberWriteOp_GetMemberNameAttr)
 TEST_F (StructOperationLinkTests, llzk_MemberWriteOp_SetMemberNameAttr)
 TEST_F (StructOperationLinkTests, IsA_Struct_StructDefOp)
 This test ensures llzkOperationIsA_Struct_StructDefOp links properly.
 TEST_F (StructOperationLinkTests, llzk_StructDefOp_Build)
 This test ensures llzkStruct_StructDefOpBuild links properly.
 TEST_F (CAPITest, StructDefOp_build_pass)
 This test ensures llzkStructStructDefOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (StructOperationLinkTests, llzk_StructDefOp_GetSymNameAttr)
 TEST_F (StructOperationLinkTests, llzk_StructDefOp_SetSymNameAttr)
 TEST_F (StructOperationLinkTests, llzk_StructDefOp_GetBodyRegionRegion)
 TEST_F (StructOperationLinkTests, llzk_StructDefOp_GetComputeFuncOp)
 This test ensures llzkStruct_StructDefOpGetComputeFuncOp links properly.
 TEST_F (StructOperationLinkTests, llzk_StructDefOp_GetProductFuncOp)
 This test ensures llzkStruct_StructDefOpGetProductFuncOp links properly.
 TEST_F (StructOperationLinkTests, llzk_StructDefOp_GetMemberDef)
 This test ensures llzkStruct_StructDefOpGetMemberDef links properly.
 TEST_F (StructOperationLinkTests, llzk_StructDefOp_HasColumns)
 This test ensures llzkStruct_StructDefOpHasColumns links properly.
 TEST_F (StructOperationLinkTests, llzk_StructDefOp_HasComputeConstrain)
 This test ensures llzkStruct_StructDefOpHasComputeConstrain links properly.
 TEST_F (StructOperationLinkTests, llzk_StructDefOp_GetConstrainFuncOp)
 This test ensures llzkStruct_StructDefOpGetConstrainFuncOp links properly.
 TEST_F (StructOperationLinkTests, llzk_StructDefOp_HasTemplateSymbolBindings)
 This test ensures llzkStruct_StructDefOpHasTemplateSymbolBindings links properly.
 TEST_F (StructOperationLinkTests, llzk_StructDefOp_HasSignals)
 This test ensures llzkStruct_StructDefOpHasSignals links properly.
 TEST_F (StructOperationLinkTests, llzk_StructDefOp_IsMainComponent)
 This test ensures llzkStruct_StructDefOpIsMainComponent links properly.
 TEST_F (StructOperationLinkTests, llzk_StructDefOp_GetFullyQualifiedName)
 This test ensures llzkStruct_StructDefOpGetFullyQualifiedName links properly.

Function Documentation

◆ TEST_F() [1/55]

TEST_F ( CAPITest ,
CreateStructOp_build_pass  )

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

It relies on a manual implemenation of CreateStructOpBuildFuncHelper::callBuild() that calls llzkStructCreateStructOpBuild().

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

◆ TEST_F() [2/55]

TEST_F ( CAPITest ,
MemberWriteOp_build_pass  )

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

It relies on a manual implemenation of MemberWriteOpBuildFuncHelper::callBuild() that calls llzkStructMemberWriteOpBuild().

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

◆ TEST_F() [3/55]

TEST_F ( CAPITest ,
StructDefOp_build_pass  )

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

It relies on a manual implemenation of StructDefOpBuildFuncHelper::callBuild() that calls llzkStructStructDefOpBuild().

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

◆ TEST_F() [4/55]

TEST_F ( StructOperationLinkTests ,
IsA_Struct_CreateStructOp  )

This test ensures llzkOperationIsA_Struct_CreateStructOp links properly.

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

◆ TEST_F() [5/55]

TEST_F ( StructOperationLinkTests ,
IsA_Struct_MemberDefOp  )

This test ensures llzkOperationIsA_Struct_MemberDefOp links properly.

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

◆ TEST_F() [6/55]

TEST_F ( StructOperationLinkTests ,
IsA_Struct_MemberReadOp  )

This test ensures llzkOperationIsA_Struct_MemberReadOp links properly.

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

◆ TEST_F() [7/55]

TEST_F ( StructOperationLinkTests ,
IsA_Struct_MemberWriteOp  )

This test ensures llzkOperationIsA_Struct_MemberWriteOp links properly.

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

◆ TEST_F() [8/55]

TEST_F ( StructOperationLinkTests ,
IsA_Struct_StructDefOp  )

This test ensures llzkOperationIsA_Struct_StructDefOp links properly.

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

◆ TEST_F() [9/55]

TEST_F ( StructOperationLinkTests ,
llzk_CreateStructOp_Build  )

This test ensures llzkStruct_CreateStructOpBuild links properly.

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

◆ TEST_F() [10/55]

TEST_F ( StructOperationLinkTests ,
llzk_CreateStructOp_GetResult  )

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

◆ TEST_F() [11/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberDefOp_GetColumnAttr  )

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

◆ TEST_F() [12/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberDefOp_GetSignalAttr  )

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

◆ TEST_F() [13/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberDefOp_GetSymNameAttr  )

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

◆ TEST_F() [14/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberDefOp_GetTypeAttr  )

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

◆ TEST_F() [15/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberDefOp_HasPublicAttr  )

This test ensures llzkStruct_MemberDefOpHasPublicAttr links properly.

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

◆ TEST_F() [16/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberDefOp_SetColumnAttr  )

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

◆ TEST_F() [17/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberDefOp_SetPublicAttr  )

This test ensures llzkStruct_MemberDefOpSetPublicAttr links properly.

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

◆ TEST_F() [18/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberDefOp_SetSignalAttr  )

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

◆ TEST_F() [19/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberDefOp_SetSymNameAttr  )

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

◆ TEST_F() [20/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberDefOp_SetTypeAttr  )

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

◆ TEST_F() [21/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_GetComponent  )

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

◆ TEST_F() [22/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_GetMapOperandsAt  )

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

◆ TEST_F() [23/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_GetMapOperandsCount  )

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

◆ TEST_F() [24/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_GetMapOpGroupSizesAttr  )

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

◆ TEST_F() [25/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_GetMemberNameAttr  )

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

◆ TEST_F() [26/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_GetNumDimsPerMapAttr  )

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

◆ TEST_F() [27/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_GetTableOffsetAttr  )

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

◆ TEST_F() [28/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_GetVal  )

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

◆ TEST_F() [29/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_SetComponent  )

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

◆ TEST_F() [30/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_SetMapOperands_Variadic  )

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

◆ TEST_F() [31/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_SetMapOpGroupSizesAttr  )

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

◆ TEST_F() [32/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_SetMemberNameAttr  )

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

◆ TEST_F() [33/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_SetNumDimsPerMapAttr  )

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

◆ TEST_F() [34/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_SetTableOffsetAttr  )

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

◆ TEST_F() [35/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberWriteOp_Build  )

This test ensures llzkStruct_MemberWriteOpBuild links properly.

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

◆ TEST_F() [36/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberWriteOp_GetComponent  )

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

◆ TEST_F() [37/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberWriteOp_GetMemberNameAttr  )

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

◆ TEST_F() [38/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberWriteOp_GetVal  )

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

◆ TEST_F() [39/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberWriteOp_SetComponent  )

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

◆ TEST_F() [40/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberWriteOp_SetMemberNameAttr  )

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

◆ TEST_F() [41/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberWriteOp_SetVal  )

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

◆ TEST_F() [42/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_Build  )

This test ensures llzkStruct_StructDefOpBuild links properly.

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

◆ TEST_F() [43/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_GetBodyRegionRegion  )

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

◆ TEST_F() [44/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_GetComputeFuncOp  )

This test ensures llzkStruct_StructDefOpGetComputeFuncOp links properly.

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

◆ TEST_F() [45/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_GetConstrainFuncOp  )

This test ensures llzkStruct_StructDefOpGetConstrainFuncOp links properly.

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

◆ TEST_F() [46/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_GetFullyQualifiedName  )

This test ensures llzkStruct_StructDefOpGetFullyQualifiedName links properly.

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

◆ TEST_F() [47/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_GetMemberDef  )

This test ensures llzkStruct_StructDefOpGetMemberDef links properly.

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

◆ TEST_F() [48/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_GetProductFuncOp  )

This test ensures llzkStruct_StructDefOpGetProductFuncOp links properly.

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

◆ TEST_F() [49/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_GetSymNameAttr  )

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

◆ TEST_F() [50/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_HasColumns  )

This test ensures llzkStruct_StructDefOpHasColumns links properly.

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

◆ TEST_F() [51/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_HasComputeConstrain  )

This test ensures llzkStruct_StructDefOpHasComputeConstrain links properly.

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

◆ TEST_F() [52/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_HasSignals  )

This test ensures llzkStruct_StructDefOpHasSignals links properly.

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

◆ TEST_F() [53/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_HasTemplateSymbolBindings  )

This test ensures llzkStruct_StructDefOpHasTemplateSymbolBindings links properly.

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

◆ TEST_F() [54/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_IsMainComponent  )

This test ensures llzkStruct_StructDefOpIsMainComponent links properly.

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

◆ TEST_F() [55/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_SetSymNameAttr  )

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