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  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)

Function Documentation

◆ TEST_F() [1/14]

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() [2/14]

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() [3/14]

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() [4/14]

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() [5/14]

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() [6/14]

TEST_F ( ConstrainOperationLinkTests ,
llzk_EmitContainmentOp_GetLhs  )

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

◆ TEST_F() [7/14]

TEST_F ( ConstrainOperationLinkTests ,
llzk_EmitContainmentOp_GetRhs  )

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

◆ TEST_F() [8/14]

TEST_F ( ConstrainOperationLinkTests ,
llzk_EmitContainmentOp_SetLhs  )

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

◆ TEST_F() [9/14]

TEST_F ( ConstrainOperationLinkTests ,
llzk_EmitContainmentOp_SetRhs  )

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

◆ TEST_F() [10/14]

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() [11/14]

TEST_F ( ConstrainOperationLinkTests ,
llzk_EmitEqualityOp_GetLhs  )

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

◆ TEST_F() [12/14]

TEST_F ( ConstrainOperationLinkTests ,
llzk_EmitEqualityOp_GetRhs  )

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

◆ TEST_F() [13/14]

TEST_F ( ConstrainOperationLinkTests ,
llzk_EmitEqualityOp_SetLhs  )

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

◆ TEST_F() [14/14]

TEST_F ( ConstrainOperationLinkTests ,
llzk_EmitEqualityOp_SetRhs  )

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