|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Classes | |
| class | LlzkOperationLinkTests |
| struct | NonDetOpBuildFuncHelper |
Functions | |
| TEST_F (LlzkOperationLinkTests, IsA_Llzk_NonDetOp) | |
| This test ensures llzkOperationIsA_Llzk_NonDetOp links properly. | |
| TEST_F (LlzkOperationLinkTests, llzk_NonDetOp_Build) | |
| This test ensures llzkLlzk_NonDetOpBuild links properly. | |
| TEST_F (CAPITest, NonDetOp_build_pass) | |
| This test ensures llzkLlzkNonDetOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (LlzkOperationLinkTests, llzk_NonDetOp_GetRes) | |
| TEST_F | ( | CAPITest | , |
| NonDetOp_build_pass | ) |
This test ensures llzkLlzkNonDetOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of NonDetOpBuildFuncHelper::callBuild() that calls llzkLlzkNonDetOpBuild().
Definition at line 55 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | LlzkOperationLinkTests | , |
| IsA_Llzk_NonDetOp | ) |
This test ensures llzkOperationIsA_Llzk_NonDetOp links properly.
Definition at line 13 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | LlzkOperationLinkTests | , |
| llzk_NonDetOp_Build | ) |
This test ensures llzkLlzk_NonDetOpBuild links properly.
Definition at line 23 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | LlzkOperationLinkTests | , |
| llzk_NonDetOp_GetRes | ) |
Definition at line 57 of file Ops.capi.test.cpp.inc.