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  BoolOperationLinkTests
struct  AndBoolOpBuildFuncHelper
struct  AssertOpBuildFuncHelper
struct  CmpOpBuildFuncHelper
struct  NotBoolOpBuildFuncHelper
struct  OrBoolOpBuildFuncHelper
struct  XorBoolOpBuildFuncHelper

Functions

 TEST_F (BoolOperationLinkTests, IsA_Bool_AndBoolOp)
 This test ensures llzkOperationIsA_Bool_AndBoolOp links properly.
 TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_Build)
 This test ensures llzkBool_AndBoolOpBuild links properly.
 TEST_F (CAPITest, AndBoolOp_build_pass)
 This test ensures llzkBoolAndBoolOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_GetLhs)
 TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_SetLhs)
 TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_GetRhs)
 TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_SetRhs)
 TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_GetResult)
 TEST_F (BoolOperationLinkTests, IsA_Bool_AssertOp)
 This test ensures llzkOperationIsA_Bool_AssertOp links properly.
 TEST_F (BoolOperationLinkTests, llzk_AssertOp_Build)
 This test ensures llzkBool_AssertOpBuild links properly.
 TEST_F (CAPITest, AssertOp_build_pass)
 This test ensures llzkBoolAssertOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (BoolOperationLinkTests, llzk_AssertOp_GetCondition)
 TEST_F (BoolOperationLinkTests, llzk_AssertOp_SetCondition)
 TEST_F (BoolOperationLinkTests, llzk_AssertOp_GetMsgAttr)
 TEST_F (BoolOperationLinkTests, llzk_AssertOp_SetMsgAttr)
 TEST_F (BoolOperationLinkTests, IsA_Bool_CmpOp)
 This test ensures llzkOperationIsA_Bool_CmpOp links properly.
 TEST_F (BoolOperationLinkTests, llzk_CmpOp_Build)
 This test ensures llzkBool_CmpOpBuild links properly.
 TEST_F (CAPITest, CmpOp_build_pass)
 This test ensures llzkBoolCmpOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (BoolOperationLinkTests, llzk_CmpOp_GetLhs)
 TEST_F (BoolOperationLinkTests, llzk_CmpOp_SetLhs)
 TEST_F (BoolOperationLinkTests, llzk_CmpOp_GetRhs)
 TEST_F (BoolOperationLinkTests, llzk_CmpOp_SetRhs)
 TEST_F (BoolOperationLinkTests, llzk_CmpOp_GetPredicateAttr)
 TEST_F (BoolOperationLinkTests, llzk_CmpOp_SetPredicateAttr)
 TEST_F (BoolOperationLinkTests, llzk_CmpOp_GetResult)
 TEST_F (BoolOperationLinkTests, IsA_Bool_NotBoolOp)
 This test ensures llzkOperationIsA_Bool_NotBoolOp links properly.
 TEST_F (BoolOperationLinkTests, llzk_NotBoolOp_Build)
 This test ensures llzkBool_NotBoolOpBuild links properly.
 TEST_F (CAPITest, NotBoolOp_build_pass)
 This test ensures llzkBoolNotBoolOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (BoolOperationLinkTests, llzk_NotBoolOp_GetOperand)
 TEST_F (BoolOperationLinkTests, llzk_NotBoolOp_SetOperand)
 TEST_F (BoolOperationLinkTests, llzk_NotBoolOp_GetResult)
 TEST_F (BoolOperationLinkTests, IsA_Bool_OrBoolOp)
 This test ensures llzkOperationIsA_Bool_OrBoolOp links properly.
 TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_Build)
 This test ensures llzkBool_OrBoolOpBuild links properly.
 TEST_F (CAPITest, OrBoolOp_build_pass)
 This test ensures llzkBoolOrBoolOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_GetLhs)
 TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_SetLhs)
 TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_GetRhs)
 TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_SetRhs)
 TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_GetResult)
 TEST_F (BoolOperationLinkTests, IsA_Bool_XorBoolOp)
 This test ensures llzkOperationIsA_Bool_XorBoolOp links properly.
 TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_Build)
 This test ensures llzkBool_XorBoolOpBuild links properly.
 TEST_F (CAPITest, XorBoolOp_build_pass)
 This test ensures llzkBoolXorBoolOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_GetLhs)
 TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_SetLhs)
 TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_GetRhs)
 TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_SetRhs)
 TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_GetResult)

Function Documentation

◆ TEST_F() [1/47]

TEST_F ( BoolOperationLinkTests ,
IsA_Bool_AndBoolOp  )

This test ensures llzkOperationIsA_Bool_AndBoolOp links properly.

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

◆ TEST_F() [2/47]

TEST_F ( BoolOperationLinkTests ,
IsA_Bool_AssertOp  )

This test ensures llzkOperationIsA_Bool_AssertOp links properly.

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

◆ TEST_F() [3/47]

TEST_F ( BoolOperationLinkTests ,
IsA_Bool_CmpOp  )

This test ensures llzkOperationIsA_Bool_CmpOp links properly.

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

◆ TEST_F() [4/47]

TEST_F ( BoolOperationLinkTests ,
IsA_Bool_NotBoolOp  )

This test ensures llzkOperationIsA_Bool_NotBoolOp links properly.

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

◆ TEST_F() [5/47]

TEST_F ( BoolOperationLinkTests ,
IsA_Bool_OrBoolOp  )

This test ensures llzkOperationIsA_Bool_OrBoolOp links properly.

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

◆ TEST_F() [6/47]

TEST_F ( BoolOperationLinkTests ,
IsA_Bool_XorBoolOp  )

This test ensures llzkOperationIsA_Bool_XorBoolOp links properly.

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

◆ TEST_F() [7/47]

TEST_F ( BoolOperationLinkTests ,
llzk_AndBoolOp_Build  )

This test ensures llzkBool_AndBoolOpBuild links properly.

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

◆ TEST_F() [8/47]

TEST_F ( BoolOperationLinkTests ,
llzk_AndBoolOp_GetLhs  )

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

◆ TEST_F() [9/47]

TEST_F ( BoolOperationLinkTests ,
llzk_AndBoolOp_GetResult  )

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

◆ TEST_F() [10/47]

TEST_F ( BoolOperationLinkTests ,
llzk_AndBoolOp_GetRhs  )

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

◆ TEST_F() [11/47]

TEST_F ( BoolOperationLinkTests ,
llzk_AndBoolOp_SetLhs  )

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

◆ TEST_F() [12/47]

TEST_F ( BoolOperationLinkTests ,
llzk_AndBoolOp_SetRhs  )

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

◆ TEST_F() [13/47]

TEST_F ( BoolOperationLinkTests ,
llzk_AssertOp_Build  )

This test ensures llzkBool_AssertOpBuild links properly.

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

◆ TEST_F() [14/47]

TEST_F ( BoolOperationLinkTests ,
llzk_AssertOp_GetCondition  )

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

◆ TEST_F() [15/47]

TEST_F ( BoolOperationLinkTests ,
llzk_AssertOp_GetMsgAttr  )

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

◆ TEST_F() [16/47]

TEST_F ( BoolOperationLinkTests ,
llzk_AssertOp_SetCondition  )

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

◆ TEST_F() [17/47]

TEST_F ( BoolOperationLinkTests ,
llzk_AssertOp_SetMsgAttr  )

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

◆ TEST_F() [18/47]

TEST_F ( BoolOperationLinkTests ,
llzk_CmpOp_Build  )

This test ensures llzkBool_CmpOpBuild links properly.

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

◆ TEST_F() [19/47]

TEST_F ( BoolOperationLinkTests ,
llzk_CmpOp_GetLhs  )

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

◆ TEST_F() [20/47]

TEST_F ( BoolOperationLinkTests ,
llzk_CmpOp_GetPredicateAttr  )

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

◆ TEST_F() [21/47]

TEST_F ( BoolOperationLinkTests ,
llzk_CmpOp_GetResult  )

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

◆ TEST_F() [22/47]

TEST_F ( BoolOperationLinkTests ,
llzk_CmpOp_GetRhs  )

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

◆ TEST_F() [23/47]

TEST_F ( BoolOperationLinkTests ,
llzk_CmpOp_SetLhs  )

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

◆ TEST_F() [24/47]

TEST_F ( BoolOperationLinkTests ,
llzk_CmpOp_SetPredicateAttr  )

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

◆ TEST_F() [25/47]

TEST_F ( BoolOperationLinkTests ,
llzk_CmpOp_SetRhs  )

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

◆ TEST_F() [26/47]

TEST_F ( BoolOperationLinkTests ,
llzk_NotBoolOp_Build  )

This test ensures llzkBool_NotBoolOpBuild links properly.

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

◆ TEST_F() [27/47]

TEST_F ( BoolOperationLinkTests ,
llzk_NotBoolOp_GetOperand  )

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

◆ TEST_F() [28/47]

TEST_F ( BoolOperationLinkTests ,
llzk_NotBoolOp_GetResult  )

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

◆ TEST_F() [29/47]

TEST_F ( BoolOperationLinkTests ,
llzk_NotBoolOp_SetOperand  )

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

◆ TEST_F() [30/47]

TEST_F ( BoolOperationLinkTests ,
llzk_OrBoolOp_Build  )

This test ensures llzkBool_OrBoolOpBuild links properly.

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

◆ TEST_F() [31/47]

TEST_F ( BoolOperationLinkTests ,
llzk_OrBoolOp_GetLhs  )

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

◆ TEST_F() [32/47]

TEST_F ( BoolOperationLinkTests ,
llzk_OrBoolOp_GetResult  )

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

◆ TEST_F() [33/47]

TEST_F ( BoolOperationLinkTests ,
llzk_OrBoolOp_GetRhs  )

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

◆ TEST_F() [34/47]

TEST_F ( BoolOperationLinkTests ,
llzk_OrBoolOp_SetLhs  )

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

◆ TEST_F() [35/47]

TEST_F ( BoolOperationLinkTests ,
llzk_OrBoolOp_SetRhs  )

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

◆ TEST_F() [36/47]

TEST_F ( BoolOperationLinkTests ,
llzk_XorBoolOp_Build  )

This test ensures llzkBool_XorBoolOpBuild links properly.

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

◆ TEST_F() [37/47]

TEST_F ( BoolOperationLinkTests ,
llzk_XorBoolOp_GetLhs  )

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

◆ TEST_F() [38/47]

TEST_F ( BoolOperationLinkTests ,
llzk_XorBoolOp_GetResult  )

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

◆ TEST_F() [39/47]

TEST_F ( BoolOperationLinkTests ,
llzk_XorBoolOp_GetRhs  )

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

◆ TEST_F() [40/47]

TEST_F ( BoolOperationLinkTests ,
llzk_XorBoolOp_SetLhs  )

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

◆ TEST_F() [41/47]

TEST_F ( BoolOperationLinkTests ,
llzk_XorBoolOp_SetRhs  )

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

◆ TEST_F() [42/47]

TEST_F ( CAPITest ,
AndBoolOp_build_pass  )

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

It relies on a manual implemenation of AndBoolOpBuildFuncHelper::callBuild() that calls llzkBoolAndBoolOpBuild().

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

◆ TEST_F() [43/47]

TEST_F ( CAPITest ,
AssertOp_build_pass  )

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

It relies on a manual implemenation of AssertOpBuildFuncHelper::callBuild() that calls llzkBoolAssertOpBuild().

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

◆ TEST_F() [44/47]

TEST_F ( CAPITest ,
CmpOp_build_pass  )

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

It relies on a manual implemenation of CmpOpBuildFuncHelper::callBuild() that calls llzkBoolCmpOpBuild().

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

◆ TEST_F() [45/47]

TEST_F ( CAPITest ,
NotBoolOp_build_pass  )

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

It relies on a manual implemenation of NotBoolOpBuildFuncHelper::callBuild() that calls llzkBoolNotBoolOpBuild().

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

◆ TEST_F() [46/47]

TEST_F ( CAPITest ,
OrBoolOp_build_pass  )

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

It relies on a manual implemenation of OrBoolOpBuildFuncHelper::callBuild() that calls llzkBoolOrBoolOpBuild().

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

◆ TEST_F() [47/47]

TEST_F ( CAPITest ,
XorBoolOp_build_pass  )

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

It relies on a manual implemenation of XorBoolOpBuildFuncHelper::callBuild() that calls llzkBoolXorBoolOpBuild().

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