LLZK 2.1.1
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  ArrayOperationLinkTests
struct  ArrayLengthOpBuildFuncHelper
struct  ExtractArrayOpBuildFuncHelper
struct  InsertArrayOpBuildFuncHelper
struct  ReadArrayOpBuildFuncHelper
struct  WriteArrayOpBuildFuncHelper

Functions

 TEST_F (ArrayOperationLinkTests, IsA_Array_ArrayLengthOp)
 This test ensures llzkOperationIsA_Array_ArrayLengthOp links properly.
 TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_Build)
 This test ensures llzkArray_ArrayLengthOpBuild links properly.
 TEST_F (CAPITest, ArrayLengthOp_build_pass)
 This test ensures llzkArrayArrayLengthOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_GetArrRef)
 TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_SetArrRef)
 TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_GetDim)
 TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_SetDim)
 TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_GetLength)
 TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_GetArrRefType)
 This test ensures llzkArray_ArrayLengthOpGetArrRefType links properly.
 TEST_F (ArrayOperationLinkTests, IsA_Array_CreateArrayOp)
 This test ensures llzkOperationIsA_Array_CreateArrayOp links properly.
 TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetElementsCount)
 TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetElementsAt)
 TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_SetElements_Variadic)
 TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetMapOperandsCount)
 TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetMapOperandsAt)
 TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_SetMapOperands_VariadicOfVariadic)
 TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetNumDimsPerMapAttr)
 TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_SetNumDimsPerMapAttr)
 TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetMapOpGroupSizesAttr)
 TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_SetMapOpGroupSizesAttr)
 TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetResult)
 TEST_F (ArrayOperationLinkTests, IsA_Array_ExtractArrayOp)
 This test ensures llzkOperationIsA_Array_ExtractArrayOp links properly.
 TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_Build)
 This test ensures llzkArray_ExtractArrayOpBuild links properly.
 TEST_F (CAPITest, ExtractArrayOp_build_pass)
 This test ensures llzkArrayExtractArrayOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetArrRef)
 TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_SetArrRef)
 TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetIndicesCount)
 TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetIndicesAt)
 TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_SetIndices_Variadic)
 TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetResult)
 TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetArrRefType)
 This test ensures llzkArray_ExtractArrayOpGetArrRefType links properly.
 TEST_F (ArrayOperationLinkTests, IsA_Array_InsertArrayOp)
 This test ensures llzkOperationIsA_Array_InsertArrayOp links properly.
 TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_Build)
 This test ensures llzkArray_InsertArrayOpBuild links properly.
 TEST_F (CAPITest, InsertArrayOp_build_pass)
 This test ensures llzkArrayInsertArrayOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetArrRef)
 TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_SetArrRef)
 TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetIndicesCount)
 TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetIndicesAt)
 TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_SetIndices_Variadic)
 TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetRvalue)
 TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_SetRvalue)
 TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetArrRefType)
 This test ensures llzkArray_InsertArrayOpGetArrRefType links properly.
 TEST_F (ArrayOperationLinkTests, IsA_Array_ReadArrayOp)
 This test ensures llzkOperationIsA_Array_ReadArrayOp links properly.
 TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_Build)
 This test ensures llzkArray_ReadArrayOpBuild links properly.
 TEST_F (CAPITest, ReadArrayOp_build_pass)
 This test ensures llzkArrayReadArrayOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetArrRef)
 TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_SetArrRef)
 TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetIndicesCount)
 TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetIndicesAt)
 TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_SetIndices_Variadic)
 TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetResult)
 TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetArrRefType)
 This test ensures llzkArray_ReadArrayOpGetArrRefType links properly.
 TEST_F (ArrayOperationLinkTests, IsA_Array_WriteArrayOp)
 This test ensures llzkOperationIsA_Array_WriteArrayOp links properly.
 TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_Build)
 This test ensures llzkArray_WriteArrayOpBuild links properly.
 TEST_F (CAPITest, WriteArrayOp_build_pass)
 This test ensures llzkArrayWriteArrayOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetArrRef)
 TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_SetArrRef)
 TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetIndicesCount)
 TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetIndicesAt)
 TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_SetIndices_Variadic)
 TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetRvalue)
 TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_SetRvalue)
 TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetArrRefType)
 This test ensures llzkArray_WriteArrayOpGetArrRefType links properly.

Function Documentation

◆ TEST_F() [1/63]

TEST_F ( ArrayOperationLinkTests ,
IsA_Array_ArrayLengthOp  )

This test ensures llzkOperationIsA_Array_ArrayLengthOp links properly.

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

◆ TEST_F() [2/63]

TEST_F ( ArrayOperationLinkTests ,
IsA_Array_CreateArrayOp  )

This test ensures llzkOperationIsA_Array_CreateArrayOp links properly.

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

◆ TEST_F() [3/63]

TEST_F ( ArrayOperationLinkTests ,
IsA_Array_ExtractArrayOp  )

This test ensures llzkOperationIsA_Array_ExtractArrayOp links properly.

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

◆ TEST_F() [4/63]

TEST_F ( ArrayOperationLinkTests ,
IsA_Array_InsertArrayOp  )

This test ensures llzkOperationIsA_Array_InsertArrayOp links properly.

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

◆ TEST_F() [5/63]

TEST_F ( ArrayOperationLinkTests ,
IsA_Array_ReadArrayOp  )

This test ensures llzkOperationIsA_Array_ReadArrayOp links properly.

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

◆ TEST_F() [6/63]

TEST_F ( ArrayOperationLinkTests ,
IsA_Array_WriteArrayOp  )

This test ensures llzkOperationIsA_Array_WriteArrayOp links properly.

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

◆ TEST_F() [7/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ArrayLengthOp_Build  )

This test ensures llzkArray_ArrayLengthOpBuild links properly.

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

◆ TEST_F() [8/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ArrayLengthOp_GetArrRef  )

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

◆ TEST_F() [9/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ArrayLengthOp_GetArrRefType  )

This test ensures llzkArray_ArrayLengthOpGetArrRefType links properly.

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

◆ TEST_F() [10/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ArrayLengthOp_GetDim  )

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

◆ TEST_F() [11/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ArrayLengthOp_GetLength  )

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

◆ TEST_F() [12/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ArrayLengthOp_SetArrRef  )

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

◆ TEST_F() [13/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ArrayLengthOp_SetDim  )

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

◆ TEST_F() [14/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_GetElementsAt  )

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

◆ TEST_F() [15/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_GetElementsCount  )

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

◆ TEST_F() [16/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_GetMapOperandsAt  )

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

◆ TEST_F() [17/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_GetMapOperandsCount  )

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

◆ TEST_F() [18/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_GetMapOpGroupSizesAttr  )

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

◆ TEST_F() [19/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_GetNumDimsPerMapAttr  )

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

◆ TEST_F() [20/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_GetResult  )

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

◆ TEST_F() [21/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_SetElements_Variadic  )

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

◆ TEST_F() [22/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_SetMapOperands_VariadicOfVariadic  )

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

◆ TEST_F() [23/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_SetMapOpGroupSizesAttr  )

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

◆ TEST_F() [24/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_SetNumDimsPerMapAttr  )

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

◆ TEST_F() [25/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ExtractArrayOp_Build  )

This test ensures llzkArray_ExtractArrayOpBuild links properly.

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

◆ TEST_F() [26/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ExtractArrayOp_GetArrRef  )

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

◆ TEST_F() [27/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ExtractArrayOp_GetArrRefType  )

This test ensures llzkArray_ExtractArrayOpGetArrRefType links properly.

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

◆ TEST_F() [28/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ExtractArrayOp_GetIndicesAt  )

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

◆ TEST_F() [29/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ExtractArrayOp_GetIndicesCount  )

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

◆ TEST_F() [30/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ExtractArrayOp_GetResult  )

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

◆ TEST_F() [31/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ExtractArrayOp_SetArrRef  )

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

◆ TEST_F() [32/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ExtractArrayOp_SetIndices_Variadic  )

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

◆ TEST_F() [33/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_Build  )

This test ensures llzkArray_InsertArrayOpBuild links properly.

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

◆ TEST_F() [34/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_GetArrRef  )

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

◆ TEST_F() [35/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_GetArrRefType  )

This test ensures llzkArray_InsertArrayOpGetArrRefType links properly.

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

◆ TEST_F() [36/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_GetIndicesAt  )

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

◆ TEST_F() [37/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_GetIndicesCount  )

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

◆ TEST_F() [38/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_GetRvalue  )

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

◆ TEST_F() [39/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_SetArrRef  )

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

◆ TEST_F() [40/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_SetIndices_Variadic  )

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

◆ TEST_F() [41/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_SetRvalue  )

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

◆ TEST_F() [42/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ReadArrayOp_Build  )

This test ensures llzkArray_ReadArrayOpBuild links properly.

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

◆ TEST_F() [43/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ReadArrayOp_GetArrRef  )

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

◆ TEST_F() [44/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ReadArrayOp_GetArrRefType  )

This test ensures llzkArray_ReadArrayOpGetArrRefType links properly.

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

◆ TEST_F() [45/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ReadArrayOp_GetIndicesAt  )

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

◆ TEST_F() [46/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ReadArrayOp_GetIndicesCount  )

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

◆ TEST_F() [47/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ReadArrayOp_GetResult  )

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

◆ TEST_F() [48/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ReadArrayOp_SetArrRef  )

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

◆ TEST_F() [49/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ReadArrayOp_SetIndices_Variadic  )

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

◆ TEST_F() [50/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_Build  )

This test ensures llzkArray_WriteArrayOpBuild links properly.

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

◆ TEST_F() [51/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_GetArrRef  )

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

◆ TEST_F() [52/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_GetArrRefType  )

This test ensures llzkArray_WriteArrayOpGetArrRefType links properly.

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

◆ TEST_F() [53/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_GetIndicesAt  )

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

◆ TEST_F() [54/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_GetIndicesCount  )

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

◆ TEST_F() [55/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_GetRvalue  )

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

◆ TEST_F() [56/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_SetArrRef  )

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

◆ TEST_F() [57/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_SetIndices_Variadic  )

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

◆ TEST_F() [58/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_SetRvalue  )

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

◆ TEST_F() [59/63]

TEST_F ( CAPITest ,
ArrayLengthOp_build_pass  )

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

It relies on a manual implemenation of ArrayLengthOpBuildFuncHelper::callBuild() that calls llzkArrayArrayLengthOpBuild().

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

◆ TEST_F() [60/63]

TEST_F ( CAPITest ,
ExtractArrayOp_build_pass  )

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

It relies on a manual implemenation of ExtractArrayOpBuildFuncHelper::callBuild() that calls llzkArrayExtractArrayOpBuild().

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

◆ TEST_F() [61/63]

TEST_F ( CAPITest ,
InsertArrayOp_build_pass  )

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

It relies on a manual implemenation of InsertArrayOpBuildFuncHelper::callBuild() that calls llzkArrayInsertArrayOpBuild().

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

◆ TEST_F() [62/63]

TEST_F ( CAPITest ,
ReadArrayOp_build_pass  )

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

It relies on a manual implemenation of ReadArrayOpBuildFuncHelper::callBuild() that calls llzkArrayReadArrayOpBuild().

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

◆ TEST_F() [63/63]

TEST_F ( CAPITest ,
WriteArrayOp_build_pass  )

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

It relies on a manual implemenation of WriteArrayOpBuildFuncHelper::callBuild() that calls llzkArrayWriteArrayOpBuild().

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