LLZK 2.1.1
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_VariadicOfVariadic)
 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 380 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 487 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 338 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 445 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 307 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [25/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_GetMemberNameAttr  )

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

◆ TEST_F() [26/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_GetNumDimsPerMapAttr  )

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

◆ TEST_F() [27/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_GetTableOffsetAttr  )

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

◆ TEST_F() [28/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_GetVal  )

Definition at line 327 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_VariadicOfVariadic  )

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

◆ TEST_F() [31/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_SetMapOpGroupSizesAttr  )

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

◆ TEST_F() [32/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_SetMemberNameAttr  )

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

◆ TEST_F() [33/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_SetNumDimsPerMapAttr  )

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

◆ TEST_F() [34/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberReadOp_SetTableOffsetAttr  )

Definition at line 277 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 348 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [36/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberWriteOp_GetComponent  )

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

◆ TEST_F() [37/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberWriteOp_GetMemberNameAttr  )

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

◆ TEST_F() [38/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberWriteOp_GetVal  )

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

◆ TEST_F() [39/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberWriteOp_SetComponent  )

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

◆ TEST_F() [40/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberWriteOp_SetMemberNameAttr  )

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

◆ TEST_F() [41/55]

TEST_F ( StructOperationLinkTests ,
llzk_MemberWriteOp_SetVal  )

Definition at line 413 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 455 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [43/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_GetBodyRegionRegion  )

Definition at line 509 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 520 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 581 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 629 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 544 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 532 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [49/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_GetSymNameAttr  )

Definition at line 489 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 557 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 569 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 605 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 593 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 617 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [55/55]

TEST_F ( StructOperationLinkTests ,
llzk_StructDefOp_SetSymNameAttr  )

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