|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Classes | |
| class | RamOperationLinkTests |
| struct | LoadOpBuildFuncHelper |
| struct | StoreOpBuildFuncHelper |
Functions | |
| TEST_F (RamOperationLinkTests, IsA_Ram_LoadOp) | |
| This test ensures llzkOperationIsA_Ram_LoadOp links properly. | |
| TEST_F (RamOperationLinkTests, llzk_LoadOp_Build) | |
| This test ensures llzkRam_LoadOpBuild links properly. | |
| TEST_F (CAPITest, LoadOp_build_pass) | |
| This test ensures llzkRamLoadOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (RamOperationLinkTests, llzk_LoadOp_GetAddr) | |
| TEST_F (RamOperationLinkTests, llzk_LoadOp_SetAddr) | |
| TEST_F (RamOperationLinkTests, llzk_LoadOp_GetVal) | |
| TEST_F (RamOperationLinkTests, IsA_Ram_StoreOp) | |
| This test ensures llzkOperationIsA_Ram_StoreOp links properly. | |
| TEST_F (RamOperationLinkTests, llzk_StoreOp_Build) | |
| This test ensures llzkRam_StoreOpBuild links properly. | |
| TEST_F (CAPITest, StoreOp_build_pass) | |
| This test ensures llzkRamStoreOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (RamOperationLinkTests, llzk_StoreOp_GetAddr) | |
| TEST_F (RamOperationLinkTests, llzk_StoreOp_SetAddr) | |
| TEST_F (RamOperationLinkTests, llzk_StoreOp_GetVal) | |
| TEST_F (RamOperationLinkTests, llzk_StoreOp_SetVal) | |
| TEST_F | ( | CAPITest | , |
| LoadOp_build_pass | ) |
This test ensures llzkRamLoadOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of LoadOpBuildFuncHelper::callBuild() that calls llzkRamLoadOpBuild().
Definition at line 55 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| StoreOp_build_pass | ) |
This test ensures llzkRamStoreOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of StoreOpBuildFuncHelper::callBuild() that calls llzkRamStoreOpBuild().
Definition at line 130 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | RamOperationLinkTests | , |
| IsA_Ram_LoadOp | ) |
This test ensures llzkOperationIsA_Ram_LoadOp links properly.
Definition at line 13 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | RamOperationLinkTests | , |
| IsA_Ram_StoreOp | ) |
This test ensures llzkOperationIsA_Ram_StoreOp links properly.
Definition at line 89 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | RamOperationLinkTests | , |
| llzk_LoadOp_Build | ) |
This test ensures llzkRam_LoadOpBuild links properly.
Definition at line 23 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | RamOperationLinkTests | , |
| llzk_LoadOp_GetAddr | ) |
Definition at line 57 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | RamOperationLinkTests | , |
| llzk_LoadOp_GetVal | ) |
Definition at line 78 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | RamOperationLinkTests | , |
| llzk_LoadOp_SetAddr | ) |
Definition at line 67 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | RamOperationLinkTests | , |
| llzk_StoreOp_Build | ) |
This test ensures llzkRam_StoreOpBuild links properly.
Definition at line 99 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | RamOperationLinkTests | , |
| llzk_StoreOp_GetAddr | ) |
Definition at line 132 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | RamOperationLinkTests | , |
| llzk_StoreOp_GetVal | ) |
Definition at line 153 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | RamOperationLinkTests | , |
| llzk_StoreOp_SetAddr | ) |
Definition at line 142 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | RamOperationLinkTests | , |
| llzk_StoreOp_SetVal | ) |
Definition at line 163 of file Ops.capi.test.cpp.inc.