|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Classes | |
| class | ConstrainOperationLinkTests |
| struct | EmitContainmentOpBuildFuncHelper |
| struct | EmitEqualityOpBuildFuncHelper |
Functions | |
| TEST_F (ConstrainOperationLinkTests, IsA_Constrain_EmitContainmentOp) | |
| This test ensures llzkOperationIsA_Constrain_EmitContainmentOp links properly. | |
| TEST_F (ConstrainOperationLinkTests, llzk_EmitContainmentOp_Build) | |
| This test ensures llzkConstrain_EmitContainmentOpBuild links properly. | |
| TEST_F (CAPITest, EmitContainmentOp_build_pass) | |
| This test ensures llzkConstrainEmitContainmentOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (ConstrainOperationLinkTests, llzk_EmitContainmentOp_GetLhs) | |
| TEST_F (ConstrainOperationLinkTests, llzk_EmitContainmentOp_SetLhs) | |
| TEST_F (ConstrainOperationLinkTests, llzk_EmitContainmentOp_GetRhs) | |
| TEST_F (ConstrainOperationLinkTests, llzk_EmitContainmentOp_SetRhs) | |
| TEST_F (ConstrainOperationLinkTests, IsA_Constrain_EmitEqualityOp) | |
| This test ensures llzkOperationIsA_Constrain_EmitEqualityOp links properly. | |
| TEST_F (ConstrainOperationLinkTests, llzk_EmitEqualityOp_Build) | |
| This test ensures llzkConstrain_EmitEqualityOpBuild links properly. | |
| TEST_F (CAPITest, EmitEqualityOp_build_pass) | |
| This test ensures llzkConstrainEmitEqualityOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (ConstrainOperationLinkTests, llzk_EmitEqualityOp_GetLhs) | |
| TEST_F (ConstrainOperationLinkTests, llzk_EmitEqualityOp_SetLhs) | |
| TEST_F (ConstrainOperationLinkTests, llzk_EmitEqualityOp_GetRhs) | |
| TEST_F (ConstrainOperationLinkTests, llzk_EmitEqualityOp_SetRhs) | |
| TEST_F | ( | CAPITest | , |
| EmitContainmentOp_build_pass | ) |
This test ensures llzkConstrainEmitContainmentOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of EmitContainmentOpBuildFuncHelper::callBuild() that calls llzkConstrainEmitContainmentOpBuild().
Definition at line 54 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| EmitEqualityOp_build_pass | ) |
This test ensures llzkConstrainEmitEqualityOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of EmitEqualityOpBuildFuncHelper::callBuild() that calls llzkConstrainEmitEqualityOpBuild().
Definition at line 140 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ConstrainOperationLinkTests | , |
| IsA_Constrain_EmitContainmentOp | ) |
This test ensures llzkOperationIsA_Constrain_EmitContainmentOp links properly.
Definition at line 13 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ConstrainOperationLinkTests | , |
| IsA_Constrain_EmitEqualityOp | ) |
This test ensures llzkOperationIsA_Constrain_EmitEqualityOp links properly.
Definition at line 99 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ConstrainOperationLinkTests | , |
| llzk_EmitContainmentOp_Build | ) |
This test ensures llzkConstrain_EmitContainmentOpBuild links properly.
Definition at line 23 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ConstrainOperationLinkTests | , |
| llzk_EmitContainmentOp_GetLhs | ) |
Definition at line 56 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ConstrainOperationLinkTests | , |
| llzk_EmitContainmentOp_GetRhs | ) |
Definition at line 77 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ConstrainOperationLinkTests | , |
| llzk_EmitContainmentOp_SetLhs | ) |
Definition at line 66 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ConstrainOperationLinkTests | , |
| llzk_EmitContainmentOp_SetRhs | ) |
Definition at line 87 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ConstrainOperationLinkTests | , |
| llzk_EmitEqualityOp_Build | ) |
This test ensures llzkConstrain_EmitEqualityOpBuild links properly.
Definition at line 109 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ConstrainOperationLinkTests | , |
| llzk_EmitEqualityOp_GetLhs | ) |
Definition at line 142 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ConstrainOperationLinkTests | , |
| llzk_EmitEqualityOp_GetRhs | ) |
Definition at line 163 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ConstrainOperationLinkTests | , |
| llzk_EmitEqualityOp_SetLhs | ) |
Definition at line 152 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ConstrainOperationLinkTests | , |
| llzk_EmitEqualityOp_SetRhs | ) |
Definition at line 173 of file Ops.capi.test.cpp.inc.