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  FeltOperationLinkTests
struct  AddFeltOpBuildFuncHelper
struct  AndFeltOpBuildFuncHelper
struct  DivFeltOpBuildFuncHelper
struct  FeltConstantOpBuildFuncHelper
struct  InvFeltOpBuildFuncHelper
struct  MulFeltOpBuildFuncHelper
struct  NegFeltOpBuildFuncHelper
struct  NotFeltOpBuildFuncHelper
struct  OrFeltOpBuildFuncHelper
struct  PowFeltOpBuildFuncHelper
struct  ShlFeltOpBuildFuncHelper
struct  ShrFeltOpBuildFuncHelper
struct  SignedIntDivFeltOpBuildFuncHelper
struct  SignedModFeltOpBuildFuncHelper
struct  SubFeltOpBuildFuncHelper
struct  UnsignedIntDivFeltOpBuildFuncHelper
struct  UnsignedModFeltOpBuildFuncHelper
struct  XorFeltOpBuildFuncHelper

Functions

 TEST_F (FeltOperationLinkTests, IsA_Felt_AddFeltOp)
 This test ensures llzkOperationIsA_Felt_AddFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_AddFeltOp_Build)
 This test ensures llzkFelt_AddFeltOpBuild links properly.
 TEST_F (CAPITest, AddFeltOp_build_pass)
 This test ensures llzkFeltAddFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_AddFeltOp_GetLhs)
 TEST_F (FeltOperationLinkTests, llzk_AddFeltOp_SetLhs)
 TEST_F (FeltOperationLinkTests, llzk_AddFeltOp_GetRhs)
 TEST_F (FeltOperationLinkTests, llzk_AddFeltOp_SetRhs)
 TEST_F (FeltOperationLinkTests, llzk_AddFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_AndFeltOp)
 This test ensures llzkOperationIsA_Felt_AndFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_AndFeltOp_Build)
 This test ensures llzkFelt_AndFeltOpBuild links properly.
 TEST_F (CAPITest, AndFeltOp_build_pass)
 This test ensures llzkFeltAndFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_AndFeltOp_GetLhs)
 TEST_F (FeltOperationLinkTests, llzk_AndFeltOp_SetLhs)
 TEST_F (FeltOperationLinkTests, llzk_AndFeltOp_GetRhs)
 TEST_F (FeltOperationLinkTests, llzk_AndFeltOp_SetRhs)
 TEST_F (FeltOperationLinkTests, llzk_AndFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_DivFeltOp)
 This test ensures llzkOperationIsA_Felt_DivFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_DivFeltOp_Build)
 This test ensures llzkFelt_DivFeltOpBuild links properly.
 TEST_F (CAPITest, DivFeltOp_build_pass)
 This test ensures llzkFeltDivFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_DivFeltOp_GetLhs)
 TEST_F (FeltOperationLinkTests, llzk_DivFeltOp_SetLhs)
 TEST_F (FeltOperationLinkTests, llzk_DivFeltOp_GetRhs)
 TEST_F (FeltOperationLinkTests, llzk_DivFeltOp_SetRhs)
 TEST_F (FeltOperationLinkTests, llzk_DivFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_FeltConstantOp)
 This test ensures llzkOperationIsA_Felt_FeltConstantOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_FeltConstantOp_Build)
 This test ensures llzkFelt_FeltConstantOpBuild links properly.
 TEST_F (CAPITest, FeltConstantOp_build_pass)
 This test ensures llzkFeltFeltConstantOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_FeltConstantOp_GetValueAttr)
 TEST_F (FeltOperationLinkTests, llzk_FeltConstantOp_SetValueAttr)
 TEST_F (FeltOperationLinkTests, llzk_FeltConstantOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_InvFeltOp)
 This test ensures llzkOperationIsA_Felt_InvFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_InvFeltOp_Build)
 This test ensures llzkFelt_InvFeltOpBuild links properly.
 TEST_F (CAPITest, InvFeltOp_build_pass)
 This test ensures llzkFeltInvFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_InvFeltOp_GetOperand)
 TEST_F (FeltOperationLinkTests, llzk_InvFeltOp_SetOperand)
 TEST_F (FeltOperationLinkTests, llzk_InvFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_MulFeltOp)
 This test ensures llzkOperationIsA_Felt_MulFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_MulFeltOp_Build)
 This test ensures llzkFelt_MulFeltOpBuild links properly.
 TEST_F (CAPITest, MulFeltOp_build_pass)
 This test ensures llzkFeltMulFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_MulFeltOp_GetLhs)
 TEST_F (FeltOperationLinkTests, llzk_MulFeltOp_SetLhs)
 TEST_F (FeltOperationLinkTests, llzk_MulFeltOp_GetRhs)
 TEST_F (FeltOperationLinkTests, llzk_MulFeltOp_SetRhs)
 TEST_F (FeltOperationLinkTests, llzk_MulFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_NegFeltOp)
 This test ensures llzkOperationIsA_Felt_NegFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_NegFeltOp_Build)
 This test ensures llzkFelt_NegFeltOpBuild links properly.
 TEST_F (CAPITest, NegFeltOp_build_pass)
 This test ensures llzkFeltNegFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_NegFeltOp_GetOperand)
 TEST_F (FeltOperationLinkTests, llzk_NegFeltOp_SetOperand)
 TEST_F (FeltOperationLinkTests, llzk_NegFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_NotFeltOp)
 This test ensures llzkOperationIsA_Felt_NotFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_NotFeltOp_Build)
 This test ensures llzkFelt_NotFeltOpBuild links properly.
 TEST_F (CAPITest, NotFeltOp_build_pass)
 This test ensures llzkFeltNotFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_NotFeltOp_GetOperand)
 TEST_F (FeltOperationLinkTests, llzk_NotFeltOp_SetOperand)
 TEST_F (FeltOperationLinkTests, llzk_NotFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_OrFeltOp)
 This test ensures llzkOperationIsA_Felt_OrFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_OrFeltOp_Build)
 This test ensures llzkFelt_OrFeltOpBuild links properly.
 TEST_F (CAPITest, OrFeltOp_build_pass)
 This test ensures llzkFeltOrFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_OrFeltOp_GetLhs)
 TEST_F (FeltOperationLinkTests, llzk_OrFeltOp_SetLhs)
 TEST_F (FeltOperationLinkTests, llzk_OrFeltOp_GetRhs)
 TEST_F (FeltOperationLinkTests, llzk_OrFeltOp_SetRhs)
 TEST_F (FeltOperationLinkTests, llzk_OrFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_PowFeltOp)
 This test ensures llzkOperationIsA_Felt_PowFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_PowFeltOp_Build)
 This test ensures llzkFelt_PowFeltOpBuild links properly.
 TEST_F (CAPITest, PowFeltOp_build_pass)
 This test ensures llzkFeltPowFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_PowFeltOp_GetLhs)
 TEST_F (FeltOperationLinkTests, llzk_PowFeltOp_SetLhs)
 TEST_F (FeltOperationLinkTests, llzk_PowFeltOp_GetRhs)
 TEST_F (FeltOperationLinkTests, llzk_PowFeltOp_SetRhs)
 TEST_F (FeltOperationLinkTests, llzk_PowFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_ShlFeltOp)
 This test ensures llzkOperationIsA_Felt_ShlFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_ShlFeltOp_Build)
 This test ensures llzkFelt_ShlFeltOpBuild links properly.
 TEST_F (CAPITest, ShlFeltOp_build_pass)
 This test ensures llzkFeltShlFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_ShlFeltOp_GetLhs)
 TEST_F (FeltOperationLinkTests, llzk_ShlFeltOp_SetLhs)
 TEST_F (FeltOperationLinkTests, llzk_ShlFeltOp_GetRhs)
 TEST_F (FeltOperationLinkTests, llzk_ShlFeltOp_SetRhs)
 TEST_F (FeltOperationLinkTests, llzk_ShlFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_ShrFeltOp)
 This test ensures llzkOperationIsA_Felt_ShrFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_ShrFeltOp_Build)
 This test ensures llzkFelt_ShrFeltOpBuild links properly.
 TEST_F (CAPITest, ShrFeltOp_build_pass)
 This test ensures llzkFeltShrFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_ShrFeltOp_GetLhs)
 TEST_F (FeltOperationLinkTests, llzk_ShrFeltOp_SetLhs)
 TEST_F (FeltOperationLinkTests, llzk_ShrFeltOp_GetRhs)
 TEST_F (FeltOperationLinkTests, llzk_ShrFeltOp_SetRhs)
 TEST_F (FeltOperationLinkTests, llzk_ShrFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_SignedIntDivFeltOp)
 This test ensures llzkOperationIsA_Felt_SignedIntDivFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_SignedIntDivFeltOp_Build)
 This test ensures llzkFelt_SignedIntDivFeltOpBuild links properly.
 TEST_F (CAPITest, SignedIntDivFeltOp_build_pass)
 This test ensures llzkFeltSignedIntDivFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_SignedIntDivFeltOp_GetLhs)
 TEST_F (FeltOperationLinkTests, llzk_SignedIntDivFeltOp_SetLhs)
 TEST_F (FeltOperationLinkTests, llzk_SignedIntDivFeltOp_GetRhs)
 TEST_F (FeltOperationLinkTests, llzk_SignedIntDivFeltOp_SetRhs)
 TEST_F (FeltOperationLinkTests, llzk_SignedIntDivFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_SignedModFeltOp)
 This test ensures llzkOperationIsA_Felt_SignedModFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_SignedModFeltOp_Build)
 This test ensures llzkFelt_SignedModFeltOpBuild links properly.
 TEST_F (CAPITest, SignedModFeltOp_build_pass)
 This test ensures llzkFeltSignedModFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_SignedModFeltOp_GetLhs)
 TEST_F (FeltOperationLinkTests, llzk_SignedModFeltOp_SetLhs)
 TEST_F (FeltOperationLinkTests, llzk_SignedModFeltOp_GetRhs)
 TEST_F (FeltOperationLinkTests, llzk_SignedModFeltOp_SetRhs)
 TEST_F (FeltOperationLinkTests, llzk_SignedModFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_SubFeltOp)
 This test ensures llzkOperationIsA_Felt_SubFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_SubFeltOp_Build)
 This test ensures llzkFelt_SubFeltOpBuild links properly.
 TEST_F (CAPITest, SubFeltOp_build_pass)
 This test ensures llzkFeltSubFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_SubFeltOp_GetLhs)
 TEST_F (FeltOperationLinkTests, llzk_SubFeltOp_SetLhs)
 TEST_F (FeltOperationLinkTests, llzk_SubFeltOp_GetRhs)
 TEST_F (FeltOperationLinkTests, llzk_SubFeltOp_SetRhs)
 TEST_F (FeltOperationLinkTests, llzk_SubFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_UnsignedIntDivFeltOp)
 This test ensures llzkOperationIsA_Felt_UnsignedIntDivFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_UnsignedIntDivFeltOp_Build)
 This test ensures llzkFelt_UnsignedIntDivFeltOpBuild links properly.
 TEST_F (CAPITest, UnsignedIntDivFeltOp_build_pass)
 This test ensures llzkFeltUnsignedIntDivFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_UnsignedIntDivFeltOp_GetLhs)
 TEST_F (FeltOperationLinkTests, llzk_UnsignedIntDivFeltOp_SetLhs)
 TEST_F (FeltOperationLinkTests, llzk_UnsignedIntDivFeltOp_GetRhs)
 TEST_F (FeltOperationLinkTests, llzk_UnsignedIntDivFeltOp_SetRhs)
 TEST_F (FeltOperationLinkTests, llzk_UnsignedIntDivFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_UnsignedModFeltOp)
 This test ensures llzkOperationIsA_Felt_UnsignedModFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_UnsignedModFeltOp_Build)
 This test ensures llzkFelt_UnsignedModFeltOpBuild links properly.
 TEST_F (CAPITest, UnsignedModFeltOp_build_pass)
 This test ensures llzkFeltUnsignedModFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_UnsignedModFeltOp_GetLhs)
 TEST_F (FeltOperationLinkTests, llzk_UnsignedModFeltOp_SetLhs)
 TEST_F (FeltOperationLinkTests, llzk_UnsignedModFeltOp_GetRhs)
 TEST_F (FeltOperationLinkTests, llzk_UnsignedModFeltOp_SetRhs)
 TEST_F (FeltOperationLinkTests, llzk_UnsignedModFeltOp_GetResult)
 TEST_F (FeltOperationLinkTests, IsA_Felt_XorFeltOp)
 This test ensures llzkOperationIsA_Felt_XorFeltOp links properly.
 TEST_F (FeltOperationLinkTests, llzk_XorFeltOp_Build)
 This test ensures llzkFelt_XorFeltOpBuild links properly.
 TEST_F (CAPITest, XorFeltOp_build_pass)
 This test ensures llzkFeltXorFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (FeltOperationLinkTests, llzk_XorFeltOp_GetLhs)
 TEST_F (FeltOperationLinkTests, llzk_XorFeltOp_SetLhs)
 TEST_F (FeltOperationLinkTests, llzk_XorFeltOp_GetRhs)
 TEST_F (FeltOperationLinkTests, llzk_XorFeltOp_SetRhs)
 TEST_F (FeltOperationLinkTests, llzk_XorFeltOp_GetResult)

Function Documentation

◆ TEST_F() [1/136]

TEST_F ( CAPITest ,
AddFeltOp_build_pass  )

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

It relies on a manual implemenation of AddFeltOpBuildFuncHelper::callBuild() that calls llzkFeltAddFeltOpBuild().

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

◆ TEST_F() [2/136]

TEST_F ( CAPITest ,
AndFeltOp_build_pass  )

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

It relies on a manual implemenation of AndFeltOpBuildFuncHelper::callBuild() that calls llzkFeltAndFeltOpBuild().

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

◆ TEST_F() [3/136]

TEST_F ( CAPITest ,
DivFeltOp_build_pass  )

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

It relies on a manual implemenation of DivFeltOpBuildFuncHelper::callBuild() that calls llzkFeltDivFeltOpBuild().

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

◆ TEST_F() [4/136]

TEST_F ( CAPITest ,
FeltConstantOp_build_pass  )

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

It relies on a manual implemenation of FeltConstantOpBuildFuncHelper::callBuild() that calls llzkFeltFeltConstantOpBuild().

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

◆ TEST_F() [5/136]

TEST_F ( CAPITest ,
InvFeltOp_build_pass  )

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

It relies on a manual implemenation of InvFeltOpBuildFuncHelper::callBuild() that calls llzkFeltInvFeltOpBuild().

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

◆ TEST_F() [6/136]

TEST_F ( CAPITest ,
MulFeltOp_build_pass  )

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

It relies on a manual implemenation of MulFeltOpBuildFuncHelper::callBuild() that calls llzkFeltMulFeltOpBuild().

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

◆ TEST_F() [7/136]

TEST_F ( CAPITest ,
NegFeltOp_build_pass  )

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

It relies on a manual implemenation of NegFeltOpBuildFuncHelper::callBuild() that calls llzkFeltNegFeltOpBuild().

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

◆ TEST_F() [8/136]

TEST_F ( CAPITest ,
NotFeltOp_build_pass  )

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

It relies on a manual implemenation of NotFeltOpBuildFuncHelper::callBuild() that calls llzkFeltNotFeltOpBuild().

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

◆ TEST_F() [9/136]

TEST_F ( CAPITest ,
OrFeltOp_build_pass  )

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

It relies on a manual implemenation of OrFeltOpBuildFuncHelper::callBuild() that calls llzkFeltOrFeltOpBuild().

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

◆ TEST_F() [10/136]

TEST_F ( CAPITest ,
PowFeltOp_build_pass  )

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

It relies on a manual implemenation of PowFeltOpBuildFuncHelper::callBuild() that calls llzkFeltPowFeltOpBuild().

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

◆ TEST_F() [11/136]

TEST_F ( CAPITest ,
ShlFeltOp_build_pass  )

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

It relies on a manual implemenation of ShlFeltOpBuildFuncHelper::callBuild() that calls llzkFeltShlFeltOpBuild().

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

◆ TEST_F() [12/136]

TEST_F ( CAPITest ,
ShrFeltOp_build_pass  )

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

It relies on a manual implemenation of ShrFeltOpBuildFuncHelper::callBuild() that calls llzkFeltShrFeltOpBuild().

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

◆ TEST_F() [13/136]

TEST_F ( CAPITest ,
SignedIntDivFeltOp_build_pass  )

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

It relies on a manual implemenation of SignedIntDivFeltOpBuildFuncHelper::callBuild() that calls llzkFeltSignedIntDivFeltOpBuild().

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

◆ TEST_F() [14/136]

TEST_F ( CAPITest ,
SignedModFeltOp_build_pass  )

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

It relies on a manual implemenation of SignedModFeltOpBuildFuncHelper::callBuild() that calls llzkFeltSignedModFeltOpBuild().

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

◆ TEST_F() [15/136]

TEST_F ( CAPITest ,
SubFeltOp_build_pass  )

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

It relies on a manual implemenation of SubFeltOpBuildFuncHelper::callBuild() that calls llzkFeltSubFeltOpBuild().

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

◆ TEST_F() [16/136]

TEST_F ( CAPITest ,
UnsignedIntDivFeltOp_build_pass  )

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

It relies on a manual implemenation of UnsignedIntDivFeltOpBuildFuncHelper::callBuild() that calls llzkFeltUnsignedIntDivFeltOpBuild().

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

◆ TEST_F() [17/136]

TEST_F ( CAPITest ,
UnsignedModFeltOp_build_pass  )

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

It relies on a manual implemenation of UnsignedModFeltOpBuildFuncHelper::callBuild() that calls llzkFeltUnsignedModFeltOpBuild().

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

◆ TEST_F() [18/136]

TEST_F ( CAPITest ,
XorFeltOp_build_pass  )

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

It relies on a manual implemenation of XorFeltOpBuildFuncHelper::callBuild() that calls llzkFeltXorFeltOpBuild().

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

◆ TEST_F() [19/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_AddFeltOp  )

This test ensures llzkOperationIsA_Felt_AddFeltOp links properly.

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

◆ TEST_F() [20/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_AndFeltOp  )

This test ensures llzkOperationIsA_Felt_AndFeltOp links properly.

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

◆ TEST_F() [21/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_DivFeltOp  )

This test ensures llzkOperationIsA_Felt_DivFeltOp links properly.

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

◆ TEST_F() [22/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_FeltConstantOp  )

This test ensures llzkOperationIsA_Felt_FeltConstantOp links properly.

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

◆ TEST_F() [23/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_InvFeltOp  )

This test ensures llzkOperationIsA_Felt_InvFeltOp links properly.

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

◆ TEST_F() [24/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_MulFeltOp  )

This test ensures llzkOperationIsA_Felt_MulFeltOp links properly.

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

◆ TEST_F() [25/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_NegFeltOp  )

This test ensures llzkOperationIsA_Felt_NegFeltOp links properly.

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

◆ TEST_F() [26/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_NotFeltOp  )

This test ensures llzkOperationIsA_Felt_NotFeltOp links properly.

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

◆ TEST_F() [27/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_OrFeltOp  )

This test ensures llzkOperationIsA_Felt_OrFeltOp links properly.

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

◆ TEST_F() [28/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_PowFeltOp  )

This test ensures llzkOperationIsA_Felt_PowFeltOp links properly.

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

◆ TEST_F() [29/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_ShlFeltOp  )

This test ensures llzkOperationIsA_Felt_ShlFeltOp links properly.

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

◆ TEST_F() [30/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_ShrFeltOp  )

This test ensures llzkOperationIsA_Felt_ShrFeltOp links properly.

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

◆ TEST_F() [31/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_SignedIntDivFeltOp  )

This test ensures llzkOperationIsA_Felt_SignedIntDivFeltOp links properly.

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

◆ TEST_F() [32/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_SignedModFeltOp  )

This test ensures llzkOperationIsA_Felt_SignedModFeltOp links properly.

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

◆ TEST_F() [33/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_SubFeltOp  )

This test ensures llzkOperationIsA_Felt_SubFeltOp links properly.

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

◆ TEST_F() [34/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_UnsignedIntDivFeltOp  )

This test ensures llzkOperationIsA_Felt_UnsignedIntDivFeltOp links properly.

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

◆ TEST_F() [35/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_UnsignedModFeltOp  )

This test ensures llzkOperationIsA_Felt_UnsignedModFeltOp links properly.

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

◆ TEST_F() [36/136]

TEST_F ( FeltOperationLinkTests ,
IsA_Felt_XorFeltOp  )

This test ensures llzkOperationIsA_Felt_XorFeltOp links properly.

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

◆ TEST_F() [37/136]

TEST_F ( FeltOperationLinkTests ,
llzk_AddFeltOp_Build  )

This test ensures llzkFelt_AddFeltOpBuild links properly.

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

◆ TEST_F() [38/136]

TEST_F ( FeltOperationLinkTests ,
llzk_AddFeltOp_GetLhs  )

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

◆ TEST_F() [39/136]

TEST_F ( FeltOperationLinkTests ,
llzk_AddFeltOp_GetResult  )

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

◆ TEST_F() [40/136]

TEST_F ( FeltOperationLinkTests ,
llzk_AddFeltOp_GetRhs  )

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

◆ TEST_F() [41/136]

TEST_F ( FeltOperationLinkTests ,
llzk_AddFeltOp_SetLhs  )

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

◆ TEST_F() [42/136]

TEST_F ( FeltOperationLinkTests ,
llzk_AddFeltOp_SetRhs  )

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

◆ TEST_F() [43/136]

TEST_F ( FeltOperationLinkTests ,
llzk_AndFeltOp_Build  )

This test ensures llzkFelt_AndFeltOpBuild links properly.

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

◆ TEST_F() [44/136]

TEST_F ( FeltOperationLinkTests ,
llzk_AndFeltOp_GetLhs  )

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

◆ TEST_F() [45/136]

TEST_F ( FeltOperationLinkTests ,
llzk_AndFeltOp_GetResult  )

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

◆ TEST_F() [46/136]

TEST_F ( FeltOperationLinkTests ,
llzk_AndFeltOp_GetRhs  )

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

◆ TEST_F() [47/136]

TEST_F ( FeltOperationLinkTests ,
llzk_AndFeltOp_SetLhs  )

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

◆ TEST_F() [48/136]

TEST_F ( FeltOperationLinkTests ,
llzk_AndFeltOp_SetRhs  )

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

◆ TEST_F() [49/136]

TEST_F ( FeltOperationLinkTests ,
llzk_DivFeltOp_Build  )

This test ensures llzkFelt_DivFeltOpBuild links properly.

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

◆ TEST_F() [50/136]

TEST_F ( FeltOperationLinkTests ,
llzk_DivFeltOp_GetLhs  )

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

◆ TEST_F() [51/136]

TEST_F ( FeltOperationLinkTests ,
llzk_DivFeltOp_GetResult  )

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

◆ TEST_F() [52/136]

TEST_F ( FeltOperationLinkTests ,
llzk_DivFeltOp_GetRhs  )

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

◆ TEST_F() [53/136]

TEST_F ( FeltOperationLinkTests ,
llzk_DivFeltOp_SetLhs  )

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

◆ TEST_F() [54/136]

TEST_F ( FeltOperationLinkTests ,
llzk_DivFeltOp_SetRhs  )

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

◆ TEST_F() [55/136]

TEST_F ( FeltOperationLinkTests ,
llzk_FeltConstantOp_Build  )

This test ensures llzkFelt_FeltConstantOpBuild links properly.

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

◆ TEST_F() [56/136]

TEST_F ( FeltOperationLinkTests ,
llzk_FeltConstantOp_GetResult  )

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

◆ TEST_F() [57/136]

TEST_F ( FeltOperationLinkTests ,
llzk_FeltConstantOp_GetValueAttr  )

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

◆ TEST_F() [58/136]

TEST_F ( FeltOperationLinkTests ,
llzk_FeltConstantOp_SetValueAttr  )

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

◆ TEST_F() [59/136]

TEST_F ( FeltOperationLinkTests ,
llzk_InvFeltOp_Build  )

This test ensures llzkFelt_InvFeltOpBuild links properly.

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

◆ TEST_F() [60/136]

TEST_F ( FeltOperationLinkTests ,
llzk_InvFeltOp_GetOperand  )

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

◆ TEST_F() [61/136]

TEST_F ( FeltOperationLinkTests ,
llzk_InvFeltOp_GetResult  )

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

◆ TEST_F() [62/136]

TEST_F ( FeltOperationLinkTests ,
llzk_InvFeltOp_SetOperand  )

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

◆ TEST_F() [63/136]

TEST_F ( FeltOperationLinkTests ,
llzk_MulFeltOp_Build  )

This test ensures llzkFelt_MulFeltOpBuild links properly.

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

◆ TEST_F() [64/136]

TEST_F ( FeltOperationLinkTests ,
llzk_MulFeltOp_GetLhs  )

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

◆ TEST_F() [65/136]

TEST_F ( FeltOperationLinkTests ,
llzk_MulFeltOp_GetResult  )

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

◆ TEST_F() [66/136]

TEST_F ( FeltOperationLinkTests ,
llzk_MulFeltOp_GetRhs  )

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

◆ TEST_F() [67/136]

TEST_F ( FeltOperationLinkTests ,
llzk_MulFeltOp_SetLhs  )

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

◆ TEST_F() [68/136]

TEST_F ( FeltOperationLinkTests ,
llzk_MulFeltOp_SetRhs  )

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

◆ TEST_F() [69/136]

TEST_F ( FeltOperationLinkTests ,
llzk_NegFeltOp_Build  )

This test ensures llzkFelt_NegFeltOpBuild links properly.

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

◆ TEST_F() [70/136]

TEST_F ( FeltOperationLinkTests ,
llzk_NegFeltOp_GetOperand  )

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

◆ TEST_F() [71/136]

TEST_F ( FeltOperationLinkTests ,
llzk_NegFeltOp_GetResult  )

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

◆ TEST_F() [72/136]

TEST_F ( FeltOperationLinkTests ,
llzk_NegFeltOp_SetOperand  )

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

◆ TEST_F() [73/136]

TEST_F ( FeltOperationLinkTests ,
llzk_NotFeltOp_Build  )

This test ensures llzkFelt_NotFeltOpBuild links properly.

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

◆ TEST_F() [74/136]

TEST_F ( FeltOperationLinkTests ,
llzk_NotFeltOp_GetOperand  )

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

◆ TEST_F() [75/136]

TEST_F ( FeltOperationLinkTests ,
llzk_NotFeltOp_GetResult  )

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

◆ TEST_F() [76/136]

TEST_F ( FeltOperationLinkTests ,
llzk_NotFeltOp_SetOperand  )

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

◆ TEST_F() [77/136]

TEST_F ( FeltOperationLinkTests ,
llzk_OrFeltOp_Build  )

This test ensures llzkFelt_OrFeltOpBuild links properly.

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

◆ TEST_F() [78/136]

TEST_F ( FeltOperationLinkTests ,
llzk_OrFeltOp_GetLhs  )

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

◆ TEST_F() [79/136]

TEST_F ( FeltOperationLinkTests ,
llzk_OrFeltOp_GetResult  )

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

◆ TEST_F() [80/136]

TEST_F ( FeltOperationLinkTests ,
llzk_OrFeltOp_GetRhs  )

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

◆ TEST_F() [81/136]

TEST_F ( FeltOperationLinkTests ,
llzk_OrFeltOp_SetLhs  )

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

◆ TEST_F() [82/136]

TEST_F ( FeltOperationLinkTests ,
llzk_OrFeltOp_SetRhs  )

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

◆ TEST_F() [83/136]

TEST_F ( FeltOperationLinkTests ,
llzk_PowFeltOp_Build  )

This test ensures llzkFelt_PowFeltOpBuild links properly.

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

◆ TEST_F() [84/136]

TEST_F ( FeltOperationLinkTests ,
llzk_PowFeltOp_GetLhs  )

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

◆ TEST_F() [85/136]

TEST_F ( FeltOperationLinkTests ,
llzk_PowFeltOp_GetResult  )

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

◆ TEST_F() [86/136]

TEST_F ( FeltOperationLinkTests ,
llzk_PowFeltOp_GetRhs  )

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

◆ TEST_F() [87/136]

TEST_F ( FeltOperationLinkTests ,
llzk_PowFeltOp_SetLhs  )

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

◆ TEST_F() [88/136]

TEST_F ( FeltOperationLinkTests ,
llzk_PowFeltOp_SetRhs  )

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

◆ TEST_F() [89/136]

TEST_F ( FeltOperationLinkTests ,
llzk_ShlFeltOp_Build  )

This test ensures llzkFelt_ShlFeltOpBuild links properly.

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

◆ TEST_F() [90/136]

TEST_F ( FeltOperationLinkTests ,
llzk_ShlFeltOp_GetLhs  )

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

◆ TEST_F() [91/136]

TEST_F ( FeltOperationLinkTests ,
llzk_ShlFeltOp_GetResult  )

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

◆ TEST_F() [92/136]

TEST_F ( FeltOperationLinkTests ,
llzk_ShlFeltOp_GetRhs  )

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

◆ TEST_F() [93/136]

TEST_F ( FeltOperationLinkTests ,
llzk_ShlFeltOp_SetLhs  )

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

◆ TEST_F() [94/136]

TEST_F ( FeltOperationLinkTests ,
llzk_ShlFeltOp_SetRhs  )

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

◆ TEST_F() [95/136]

TEST_F ( FeltOperationLinkTests ,
llzk_ShrFeltOp_Build  )

This test ensures llzkFelt_ShrFeltOpBuild links properly.

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

◆ TEST_F() [96/136]

TEST_F ( FeltOperationLinkTests ,
llzk_ShrFeltOp_GetLhs  )

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

◆ TEST_F() [97/136]

TEST_F ( FeltOperationLinkTests ,
llzk_ShrFeltOp_GetResult  )

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

◆ TEST_F() [98/136]

TEST_F ( FeltOperationLinkTests ,
llzk_ShrFeltOp_GetRhs  )

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

◆ TEST_F() [99/136]

TEST_F ( FeltOperationLinkTests ,
llzk_ShrFeltOp_SetLhs  )

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

◆ TEST_F() [100/136]

TEST_F ( FeltOperationLinkTests ,
llzk_ShrFeltOp_SetRhs  )

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

◆ TEST_F() [101/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SignedIntDivFeltOp_Build  )

This test ensures llzkFelt_SignedIntDivFeltOpBuild links properly.

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

◆ TEST_F() [102/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SignedIntDivFeltOp_GetLhs  )

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

◆ TEST_F() [103/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SignedIntDivFeltOp_GetResult  )

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

◆ TEST_F() [104/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SignedIntDivFeltOp_GetRhs  )

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

◆ TEST_F() [105/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SignedIntDivFeltOp_SetLhs  )

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

◆ TEST_F() [106/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SignedIntDivFeltOp_SetRhs  )

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

◆ TEST_F() [107/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SignedModFeltOp_Build  )

This test ensures llzkFelt_SignedModFeltOpBuild links properly.

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

◆ TEST_F() [108/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SignedModFeltOp_GetLhs  )

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

◆ TEST_F() [109/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SignedModFeltOp_GetResult  )

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

◆ TEST_F() [110/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SignedModFeltOp_GetRhs  )

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

◆ TEST_F() [111/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SignedModFeltOp_SetLhs  )

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

◆ TEST_F() [112/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SignedModFeltOp_SetRhs  )

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

◆ TEST_F() [113/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SubFeltOp_Build  )

This test ensures llzkFelt_SubFeltOpBuild links properly.

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

◆ TEST_F() [114/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SubFeltOp_GetLhs  )

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

◆ TEST_F() [115/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SubFeltOp_GetResult  )

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

◆ TEST_F() [116/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SubFeltOp_GetRhs  )

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

◆ TEST_F() [117/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SubFeltOp_SetLhs  )

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

◆ TEST_F() [118/136]

TEST_F ( FeltOperationLinkTests ,
llzk_SubFeltOp_SetRhs  )

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

◆ TEST_F() [119/136]

TEST_F ( FeltOperationLinkTests ,
llzk_UnsignedIntDivFeltOp_Build  )

This test ensures llzkFelt_UnsignedIntDivFeltOpBuild links properly.

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

◆ TEST_F() [120/136]

TEST_F ( FeltOperationLinkTests ,
llzk_UnsignedIntDivFeltOp_GetLhs  )

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

◆ TEST_F() [121/136]

TEST_F ( FeltOperationLinkTests ,
llzk_UnsignedIntDivFeltOp_GetResult  )

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

◆ TEST_F() [122/136]

TEST_F ( FeltOperationLinkTests ,
llzk_UnsignedIntDivFeltOp_GetRhs  )

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

◆ TEST_F() [123/136]

TEST_F ( FeltOperationLinkTests ,
llzk_UnsignedIntDivFeltOp_SetLhs  )

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

◆ TEST_F() [124/136]

TEST_F ( FeltOperationLinkTests ,
llzk_UnsignedIntDivFeltOp_SetRhs  )

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

◆ TEST_F() [125/136]

TEST_F ( FeltOperationLinkTests ,
llzk_UnsignedModFeltOp_Build  )

This test ensures llzkFelt_UnsignedModFeltOpBuild links properly.

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

◆ TEST_F() [126/136]

TEST_F ( FeltOperationLinkTests ,
llzk_UnsignedModFeltOp_GetLhs  )

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

◆ TEST_F() [127/136]

TEST_F ( FeltOperationLinkTests ,
llzk_UnsignedModFeltOp_GetResult  )

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

◆ TEST_F() [128/136]

TEST_F ( FeltOperationLinkTests ,
llzk_UnsignedModFeltOp_GetRhs  )

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

◆ TEST_F() [129/136]

TEST_F ( FeltOperationLinkTests ,
llzk_UnsignedModFeltOp_SetLhs  )

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

◆ TEST_F() [130/136]

TEST_F ( FeltOperationLinkTests ,
llzk_UnsignedModFeltOp_SetRhs  )

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

◆ TEST_F() [131/136]

TEST_F ( FeltOperationLinkTests ,
llzk_XorFeltOp_Build  )

This test ensures llzkFelt_XorFeltOpBuild links properly.

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

◆ TEST_F() [132/136]

TEST_F ( FeltOperationLinkTests ,
llzk_XorFeltOp_GetLhs  )

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

◆ TEST_F() [133/136]

TEST_F ( FeltOperationLinkTests ,
llzk_XorFeltOp_GetResult  )

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

◆ TEST_F() [134/136]

TEST_F ( FeltOperationLinkTests ,
llzk_XorFeltOp_GetRhs  )

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

◆ TEST_F() [135/136]

TEST_F ( FeltOperationLinkTests ,
llzk_XorFeltOp_SetLhs  )

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

◆ TEST_F() [136/136]

TEST_F ( FeltOperationLinkTests ,
llzk_XorFeltOp_SetRhs  )

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