|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
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) | |
| 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 | ( | 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 | ( | 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 | ( | 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 | ( | 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 | ( | 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 | ( | GlobalOperationLinkTests | , |
| llzk_GlobalDefOp_Build | ) |
This test ensures llzkGlobal_GlobalDefOpBuild links properly.
Definition at line 23 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | GlobalOperationLinkTests | , |
| llzk_GlobalDefOp_GetConstantAttr | ) |
Definition at line 80 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | GlobalOperationLinkTests | , |
| llzk_GlobalDefOp_GetInitialValueAttr | ) |
Definition at line 120 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | GlobalOperationLinkTests | , |
| llzk_GlobalDefOp_GetSymNameAttr | ) |
Definition at line 60 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | GlobalOperationLinkTests | , |
| llzk_GlobalDefOp_GetTypeAttr | ) |
Definition at line 100 of file Ops.capi.test.cpp.inc.
| 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 | ( | GlobalOperationLinkTests | , |
| llzk_GlobalDefOp_SetConstantAttr | ) |
Definition at line 90 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | GlobalOperationLinkTests | , |
| llzk_GlobalDefOp_SetInitialValueAttr | ) |
Definition at line 130 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | GlobalOperationLinkTests | , |
| llzk_GlobalDefOp_SetSymNameAttr | ) |
Definition at line 70 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | GlobalOperationLinkTests | , |
| llzk_GlobalDefOp_SetTypeAttr | ) |
Definition at line 110 of file Ops.capi.test.cpp.inc.
| 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 | ( | GlobalOperationLinkTests | , |
| llzk_GlobalReadOp_GetNameRefAttr | ) |
Definition at line 198 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | GlobalOperationLinkTests | , |
| llzk_GlobalReadOp_GetVal | ) |
Definition at line 218 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | GlobalOperationLinkTests | , |
| llzk_GlobalReadOp_SetNameRefAttr | ) |
Definition at line 208 of file Ops.capi.test.cpp.inc.
| 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 | ( | GlobalOperationLinkTests | , |
| llzk_GlobalWriteOp_GetNameRefAttr | ) |
Definition at line 294 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | GlobalOperationLinkTests | , |
| llzk_GlobalWriteOp_GetVal | ) |
Definition at line 273 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | GlobalOperationLinkTests | , |
| llzk_GlobalWriteOp_SetNameRefAttr | ) |
Definition at line 304 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | GlobalOperationLinkTests | , |
| llzk_GlobalWriteOp_SetVal | ) |
Definition at line 283 of file Ops.capi.test.cpp.inc.