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  PodOperationLinkTests
struct  ReadPodOpBuildFuncHelper
struct  WritePodOpBuildFuncHelper

Functions

 TEST_F (PodOperationLinkTests, IsA_Pod_NewPodOp)
 This test ensures llzkOperationIsA_Pod_NewPodOp links properly.
 TEST_F (PodOperationLinkTests, llzk_NewPodOp_GetInitialValuesCount)
 TEST_F (PodOperationLinkTests, llzk_NewPodOp_GetInitialValuesAt)
 TEST_F (PodOperationLinkTests, llzk_NewPodOp_SetInitialValues_Variadic)
 TEST_F (PodOperationLinkTests, llzk_NewPodOp_GetMapOperandsCount)
 TEST_F (PodOperationLinkTests, llzk_NewPodOp_GetMapOperandsAt)
 TEST_F (PodOperationLinkTests, llzk_NewPodOp_SetMapOperands_VariadicOfVariadic)
 TEST_F (PodOperationLinkTests, llzk_NewPodOp_GetInitializedRecordsAttr)
 TEST_F (PodOperationLinkTests, llzk_NewPodOp_SetInitializedRecordsAttr)
 TEST_F (PodOperationLinkTests, llzk_NewPodOp_GetNumDimsPerMapAttr)
 TEST_F (PodOperationLinkTests, llzk_NewPodOp_SetNumDimsPerMapAttr)
 TEST_F (PodOperationLinkTests, llzk_NewPodOp_GetMapOpGroupSizesAttr)
 TEST_F (PodOperationLinkTests, llzk_NewPodOp_SetMapOpGroupSizesAttr)
 TEST_F (PodOperationLinkTests, llzk_NewPodOp_GetResult)
 TEST_F (PodOperationLinkTests, IsA_Pod_ReadPodOp)
 This test ensures llzkOperationIsA_Pod_ReadPodOp links properly.
 TEST_F (PodOperationLinkTests, llzk_ReadPodOp_Build)
 This test ensures llzkPod_ReadPodOpBuild links properly.
 TEST_F (CAPITest, ReadPodOp_build_pass)
 This test ensures llzkPodReadPodOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (PodOperationLinkTests, llzk_ReadPodOp_GetPodRef)
 TEST_F (PodOperationLinkTests, llzk_ReadPodOp_SetPodRef)
 TEST_F (PodOperationLinkTests, llzk_ReadPodOp_GetRecordNameAttr)
 TEST_F (PodOperationLinkTests, llzk_ReadPodOp_SetRecordNameAttr)
 TEST_F (PodOperationLinkTests, llzk_ReadPodOp_GetResult)
 TEST_F (PodOperationLinkTests, llzk_ReadPodOp_GetPodRefType)
 This test ensures llzkPod_ReadPodOpGetPodRefType links properly.
 TEST_F (PodOperationLinkTests, IsA_Pod_WritePodOp)
 This test ensures llzkOperationIsA_Pod_WritePodOp links properly.
 TEST_F (PodOperationLinkTests, llzk_WritePodOp_Build)
 This test ensures llzkPod_WritePodOpBuild links properly.
 TEST_F (CAPITest, WritePodOp_build_pass)
 This test ensures llzkPodWritePodOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (PodOperationLinkTests, llzk_WritePodOp_GetPodRef)
 TEST_F (PodOperationLinkTests, llzk_WritePodOp_SetPodRef)
 TEST_F (PodOperationLinkTests, llzk_WritePodOp_GetValue)
 TEST_F (PodOperationLinkTests, llzk_WritePodOp_SetValue)
 TEST_F (PodOperationLinkTests, llzk_WritePodOp_GetRecordNameAttr)
 TEST_F (PodOperationLinkTests, llzk_WritePodOp_SetRecordNameAttr)
 TEST_F (PodOperationLinkTests, llzk_WritePodOp_GetPodRefType)
 This test ensures llzkPod_WritePodOpGetPodRefType links properly.

Function Documentation

◆ TEST_F() [1/33]

TEST_F ( CAPITest ,
ReadPodOp_build_pass  )

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

It relies on a manual implemenation of ReadPodOpBuildFuncHelper::callBuild() that calls llzkPodReadPodOpBuild().

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

◆ TEST_F() [2/33]

TEST_F ( CAPITest ,
WritePodOp_build_pass  )

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

It relies on a manual implemenation of WritePodOpBuildFuncHelper::callBuild() that calls llzkPodWritePodOpBuild().

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

◆ TEST_F() [3/33]

TEST_F ( PodOperationLinkTests ,
IsA_Pod_NewPodOp  )

This test ensures llzkOperationIsA_Pod_NewPodOp links properly.

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

◆ TEST_F() [4/33]

TEST_F ( PodOperationLinkTests ,
IsA_Pod_ReadPodOp  )

This test ensures llzkOperationIsA_Pod_ReadPodOp links properly.

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

◆ TEST_F() [5/33]

TEST_F ( PodOperationLinkTests ,
IsA_Pod_WritePodOp  )

This test ensures llzkOperationIsA_Pod_WritePodOp links properly.

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

◆ TEST_F() [6/33]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetInitializedRecordsAttr  )

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

◆ TEST_F() [7/33]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetInitialValuesAt  )

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

◆ TEST_F() [8/33]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetInitialValuesCount  )

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

◆ TEST_F() [9/33]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetMapOperandsAt  )

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

◆ TEST_F() [10/33]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetMapOperandsCount  )

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

◆ TEST_F() [11/33]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetMapOpGroupSizesAttr  )

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

◆ TEST_F() [12/33]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetNumDimsPerMapAttr  )

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

◆ TEST_F() [13/33]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetResult  )

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

◆ TEST_F() [14/33]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_SetInitializedRecordsAttr  )

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

◆ TEST_F() [15/33]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_SetInitialValues_Variadic  )

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

◆ TEST_F() [16/33]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_SetMapOperands_VariadicOfVariadic  )

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

◆ TEST_F() [17/33]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_SetMapOpGroupSizesAttr  )

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

◆ TEST_F() [18/33]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_SetNumDimsPerMapAttr  )

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

◆ TEST_F() [19/33]

TEST_F ( PodOperationLinkTests ,
llzk_ReadPodOp_Build  )

This test ensures llzkPod_ReadPodOpBuild links properly.

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

◆ TEST_F() [20/33]

TEST_F ( PodOperationLinkTests ,
llzk_ReadPodOp_GetPodRef  )

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

◆ TEST_F() [21/33]

TEST_F ( PodOperationLinkTests ,
llzk_ReadPodOp_GetPodRefType  )

This test ensures llzkPod_ReadPodOpGetPodRefType links properly.

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

◆ TEST_F() [22/33]

TEST_F ( PodOperationLinkTests ,
llzk_ReadPodOp_GetRecordNameAttr  )

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

◆ TEST_F() [23/33]

TEST_F ( PodOperationLinkTests ,
llzk_ReadPodOp_GetResult  )

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

◆ TEST_F() [24/33]

TEST_F ( PodOperationLinkTests ,
llzk_ReadPodOp_SetPodRef  )

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

◆ TEST_F() [25/33]

TEST_F ( PodOperationLinkTests ,
llzk_ReadPodOp_SetRecordNameAttr  )

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

◆ TEST_F() [26/33]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_Build  )

This test ensures llzkPod_WritePodOpBuild links properly.

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

◆ TEST_F() [27/33]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_GetPodRef  )

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

◆ TEST_F() [28/33]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_GetPodRefType  )

This test ensures llzkPod_WritePodOpGetPodRefType links properly.

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

◆ TEST_F() [29/33]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_GetRecordNameAttr  )

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

◆ TEST_F() [30/33]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_GetValue  )

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

◆ TEST_F() [31/33]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_SetPodRef  )

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

◆ TEST_F() [32/33]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_SetRecordNameAttr  )

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

◆ TEST_F() [33/33]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_SetValue  )

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