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  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_Variadic)
 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 245 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 367 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 499 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 621 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 214 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [19/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_GetNumDimsPerMapAttr  )

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

◆ TEST_F() [20/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_GetResult  )

Definition at line 234 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_Variadic  )

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

◆ TEST_F() [23/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_SetMapOpGroupSizesAttr  )

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

◆ TEST_F() [24/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_CreateArrayOp_SetNumDimsPerMapAttr  )

Definition at line 204 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 255 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [26/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ExtractArrayOp_GetArrRef  )

Definition at line 291 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 355 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [28/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ExtractArrayOp_GetIndicesAt  )

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

◆ TEST_F() [29/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ExtractArrayOp_GetIndicesCount  )

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

◆ TEST_F() [30/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ExtractArrayOp_GetResult  )

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

◆ TEST_F() [31/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ExtractArrayOp_SetArrRef  )

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

◆ TEST_F() [32/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ExtractArrayOp_SetIndices_Variadic  )

Definition at line 332 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 377 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [34/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_GetArrRef  )

Definition at line 412 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 487 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [36/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_GetIndicesAt  )

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

◆ TEST_F() [37/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_GetIndicesCount  )

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

◆ TEST_F() [38/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_GetRvalue  )

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

◆ TEST_F() [39/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_SetArrRef  )

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

◆ TEST_F() [40/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_SetIndices_Variadic  )

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

◆ TEST_F() [41/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_InsertArrayOp_SetRvalue  )

Definition at line 475 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 509 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [43/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ReadArrayOp_GetArrRef  )

Definition at line 545 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 609 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [45/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ReadArrayOp_GetIndicesAt  )

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

◆ TEST_F() [46/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ReadArrayOp_GetIndicesCount  )

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

◆ TEST_F() [47/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ReadArrayOp_GetResult  )

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

◆ TEST_F() [48/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ReadArrayOp_SetArrRef  )

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

◆ TEST_F() [49/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_ReadArrayOp_SetIndices_Variadic  )

Definition at line 586 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 631 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [51/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_GetArrRef  )

Definition at line 666 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 741 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [53/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_GetIndicesAt  )

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

◆ TEST_F() [54/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_GetIndicesCount  )

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

◆ TEST_F() [55/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_GetRvalue  )

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

◆ TEST_F() [56/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_SetArrRef  )

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

◆ TEST_F() [57/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_SetIndices_Variadic  )

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

◆ TEST_F() [58/63]

TEST_F ( ArrayOperationLinkTests ,
llzk_WriteArrayOp_SetRvalue  )

Definition at line 729 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 289 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 410 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 543 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 664 of file Ops.capi.test.cpp.inc.