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  CastOperationLinkTests
struct  FeltToIndexOpBuildFuncHelper
struct  IntToFeltOpBuildFuncHelper

Functions

 TEST_F (CastOperationLinkTests, IsA_Cast_FeltToIndexOp)
 This test ensures llzkOperationIsA_Cast_FeltToIndexOp links properly.
 TEST_F (CastOperationLinkTests, llzk_FeltToIndexOp_Build)
 This test ensures llzkCast_FeltToIndexOpBuild links properly.
 TEST_F (CAPITest, FeltToIndexOp_build_pass)
 This test ensures llzkCastFeltToIndexOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (CastOperationLinkTests, llzk_FeltToIndexOp_GetValue)
 TEST_F (CastOperationLinkTests, llzk_FeltToIndexOp_SetValue)
 TEST_F (CastOperationLinkTests, llzk_FeltToIndexOp_GetResult)
 TEST_F (CastOperationLinkTests, IsA_Cast_IntToFeltOp)
 This test ensures llzkOperationIsA_Cast_IntToFeltOp links properly.
 TEST_F (CastOperationLinkTests, llzk_IntToFeltOp_Build)
 This test ensures llzkCast_IntToFeltOpBuild links properly.
 TEST_F (CAPITest, IntToFeltOp_build_pass)
 This test ensures llzkCastIntToFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (CastOperationLinkTests, llzk_IntToFeltOp_GetValue)
 TEST_F (CastOperationLinkTests, llzk_IntToFeltOp_SetValue)
 TEST_F (CastOperationLinkTests, llzk_IntToFeltOp_GetResult)

Function Documentation

◆ TEST_F() [1/12]

TEST_F ( CAPITest ,
FeltToIndexOp_build_pass  )

This test ensures llzkCastFeltToIndexOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of FeltToIndexOpBuildFuncHelper::callBuild() that calls llzkCastFeltToIndexOpBuild().

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

◆ TEST_F() [2/12]

TEST_F ( CAPITest ,
IntToFeltOp_build_pass  )

This test ensures llzkCastIntToFeltOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of IntToFeltOpBuildFuncHelper::callBuild() that calls llzkCastIntToFeltOpBuild().

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

◆ TEST_F() [3/12]

TEST_F ( CastOperationLinkTests ,
IsA_Cast_FeltToIndexOp  )

This test ensures llzkOperationIsA_Cast_FeltToIndexOp links properly.

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

◆ TEST_F() [4/12]

TEST_F ( CastOperationLinkTests ,
IsA_Cast_IntToFeltOp  )

This test ensures llzkOperationIsA_Cast_IntToFeltOp links properly.

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

◆ TEST_F() [5/12]

TEST_F ( CastOperationLinkTests ,
llzk_FeltToIndexOp_Build  )

This test ensures llzkCast_FeltToIndexOpBuild links properly.

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

◆ TEST_F() [6/12]

TEST_F ( CastOperationLinkTests ,
llzk_FeltToIndexOp_GetResult  )

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

◆ TEST_F() [7/12]

TEST_F ( CastOperationLinkTests ,
llzk_FeltToIndexOp_GetValue  )

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

◆ TEST_F() [8/12]

TEST_F ( CastOperationLinkTests ,
llzk_FeltToIndexOp_SetValue  )

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

◆ TEST_F() [9/12]

TEST_F ( CastOperationLinkTests ,
llzk_IntToFeltOp_Build  )

This test ensures llzkCast_IntToFeltOpBuild links properly.

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

◆ TEST_F() [10/12]

TEST_F ( CastOperationLinkTests ,
llzk_IntToFeltOp_GetResult  )

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

◆ TEST_F() [11/12]

TEST_F ( CastOperationLinkTests ,
llzk_IntToFeltOp_GetValue  )

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

◆ TEST_F() [12/12]

TEST_F ( CastOperationLinkTests ,
llzk_IntToFeltOp_SetValue  )

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