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  GlobalOperationLinkTests
struct  GlobalDefOpBuildFuncHelper
struct  GlobalReadOpBuildFuncHelper
struct  GlobalWriteOpBuildFuncHelper

Functions

 TEST_F (GlobalOperationLinkTests, IsA_Global_GlobalDefOp)
 This test ensures llzkOperationIsA_Global_GlobalDefOp links properly.
 TEST_F (GlobalOperationLinkTests, llzk_GlobalDefOp_Build)
 This test ensures llzkGlobal_GlobalDefOpBuild links properly.
 TEST_F (CAPITest, GlobalDefOp_build_pass)
 This test ensures llzkGlobalGlobalDefOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (GlobalOperationLinkTests, llzk_GlobalDefOp_GetSymNameAttr)
 TEST_F (GlobalOperationLinkTests, llzk_GlobalDefOp_SetSymNameAttr)
 TEST_F (GlobalOperationLinkTests, llzk_GlobalDefOp_GetConstantAttr)
 TEST_F (GlobalOperationLinkTests, llzk_GlobalDefOp_SetConstantAttr)
 TEST_F (GlobalOperationLinkTests, llzk_GlobalDefOp_GetTypeAttr)
 TEST_F (GlobalOperationLinkTests, llzk_GlobalDefOp_SetTypeAttr)
 TEST_F (GlobalOperationLinkTests, llzk_GlobalDefOp_GetInitialValueAttr)
 TEST_F (GlobalOperationLinkTests, llzk_GlobalDefOp_SetInitialValueAttr)
 TEST_F (GlobalOperationLinkTests, llzk_GlobalDefOp_IsConstant)
 This test ensures llzkGlobal_GlobalDefOpIsConstant links properly.
 TEST_F (GlobalOperationLinkTests, IsA_Global_GlobalReadOp)
 This test ensures llzkOperationIsA_Global_GlobalReadOp links properly.
 TEST_F (GlobalOperationLinkTests, llzk_GlobalReadOp_Build)
 This test ensures llzkGlobal_GlobalReadOpBuild links properly.
 TEST_F (CAPITest, GlobalReadOp_build_pass)
 This test ensures llzkGlobalGlobalReadOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (GlobalOperationLinkTests, llzk_GlobalReadOp_GetNameRefAttr)
 TEST_F (GlobalOperationLinkTests, llzk_GlobalReadOp_SetNameRefAttr)
 TEST_F (GlobalOperationLinkTests, llzk_GlobalReadOp_GetVal)
 TEST_F (GlobalOperationLinkTests, IsA_Global_GlobalWriteOp)
 This test ensures llzkOperationIsA_Global_GlobalWriteOp links properly.
 TEST_F (GlobalOperationLinkTests, llzk_GlobalWriteOp_Build)
 This test ensures llzkGlobal_GlobalWriteOpBuild links properly.
 TEST_F (CAPITest, GlobalWriteOp_build_pass)
 This test ensures llzkGlobalGlobalWriteOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (GlobalOperationLinkTests, llzk_GlobalWriteOp_GetVal)
 TEST_F (GlobalOperationLinkTests, llzk_GlobalWriteOp_SetVal)
 TEST_F (GlobalOperationLinkTests, llzk_GlobalWriteOp_GetNameRefAttr)
 TEST_F (GlobalOperationLinkTests, llzk_GlobalWriteOp_SetNameRefAttr)

Function Documentation

◆ TEST_F() [1/25]

TEST_F ( CAPITest ,
GlobalDefOp_build_pass  )

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

It relies on a manual implemenation of GlobalDefOpBuildFuncHelper::callBuild() that calls llzkGlobalGlobalDefOpBuild().

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

◆ TEST_F() [2/25]

TEST_F ( CAPITest ,
GlobalReadOp_build_pass  )

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

It relies on a manual implemenation of GlobalReadOpBuildFuncHelper::callBuild() that calls llzkGlobalGlobalReadOpBuild().

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

◆ TEST_F() [3/25]

TEST_F ( CAPITest ,
GlobalWriteOp_build_pass  )

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

It relies on a manual implemenation of GlobalWriteOpBuildFuncHelper::callBuild() that calls llzkGlobalGlobalWriteOpBuild().

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

◆ TEST_F() [4/25]

TEST_F ( GlobalOperationLinkTests ,
IsA_Global_GlobalDefOp  )

This test ensures llzkOperationIsA_Global_GlobalDefOp links properly.

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

◆ TEST_F() [5/25]

TEST_F ( GlobalOperationLinkTests ,
IsA_Global_GlobalReadOp  )

This test ensures llzkOperationIsA_Global_GlobalReadOp links properly.

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

◆ TEST_F() [6/25]

TEST_F ( GlobalOperationLinkTests ,
IsA_Global_GlobalWriteOp  )

This test ensures llzkOperationIsA_Global_GlobalWriteOp links properly.

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

◆ TEST_F() [7/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalDefOp_Build  )

This test ensures llzkGlobal_GlobalDefOpBuild links properly.

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

◆ TEST_F() [8/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalDefOp_GetConstantAttr  )

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

◆ TEST_F() [9/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalDefOp_GetInitialValueAttr  )

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

◆ TEST_F() [10/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalDefOp_GetSymNameAttr  )

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

◆ TEST_F() [11/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalDefOp_GetTypeAttr  )

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

◆ TEST_F() [12/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalDefOp_IsConstant  )

This test ensures llzkGlobal_GlobalDefOpIsConstant links properly.

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

◆ TEST_F() [13/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalDefOp_SetConstantAttr  )

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

◆ TEST_F() [14/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalDefOp_SetInitialValueAttr  )

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

◆ TEST_F() [15/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalDefOp_SetSymNameAttr  )

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

◆ TEST_F() [16/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalDefOp_SetTypeAttr  )

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

◆ TEST_F() [17/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalReadOp_Build  )

This test ensures llzkGlobal_GlobalReadOpBuild links properly.

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

◆ TEST_F() [18/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalReadOp_GetNameRefAttr  )

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

◆ TEST_F() [19/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalReadOp_GetVal  )

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

◆ TEST_F() [20/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalReadOp_SetNameRefAttr  )

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

◆ TEST_F() [21/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalWriteOp_Build  )

This test ensures llzkGlobal_GlobalWriteOpBuild links properly.

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

◆ TEST_F() [22/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalWriteOp_GetNameRefAttr  )

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

◆ TEST_F() [23/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalWriteOp_GetVal  )

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

◆ TEST_F() [24/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalWriteOp_SetNameRefAttr  )

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

◆ TEST_F() [25/25]

TEST_F ( GlobalOperationLinkTests ,
llzk_GlobalWriteOp_SetVal  )

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