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  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_Variadic)
 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, 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)

Function Documentation

◆ TEST_F() [1/31]

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 200 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [2/31]

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 296 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [3/31]

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/31]

TEST_F ( PodOperationLinkTests ,
IsA_Pod_ReadPodOp  )

This test ensures llzkOperationIsA_Pod_ReadPodOp links properly.

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

◆ TEST_F() [5/31]

TEST_F ( PodOperationLinkTests ,
IsA_Pod_WritePodOp  )

This test ensures llzkOperationIsA_Pod_WritePodOp links properly.

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

◆ TEST_F() [6/31]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetInitializedRecordsAttr  )

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

◆ TEST_F() [7/31]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetInitialValuesAt  )

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

◆ TEST_F() [8/31]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetInitialValuesCount  )

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

◆ TEST_F() [9/31]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetMapOperandsAt  )

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

◆ TEST_F() [10/31]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetMapOperandsCount  )

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

◆ TEST_F() [11/31]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetMapOpGroupSizesAttr  )

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

◆ TEST_F() [12/31]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetNumDimsPerMapAttr  )

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

◆ TEST_F() [13/31]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_GetResult  )

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

◆ TEST_F() [14/31]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_SetInitializedRecordsAttr  )

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

◆ TEST_F() [15/31]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_SetInitialValues_Variadic  )

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

◆ TEST_F() [16/31]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_SetMapOperands_Variadic  )

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

◆ TEST_F() [17/31]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_SetMapOpGroupSizesAttr  )

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

◆ TEST_F() [18/31]

TEST_F ( PodOperationLinkTests ,
llzk_NewPodOp_SetNumDimsPerMapAttr  )

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

◆ TEST_F() [19/31]

TEST_F ( PodOperationLinkTests ,
llzk_ReadPodOp_Build  )

This test ensures llzkPod_ReadPodOpBuild links properly.

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

◆ TEST_F() [20/31]

TEST_F ( PodOperationLinkTests ,
llzk_ReadPodOp_GetPodRef  )

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

◆ TEST_F() [21/31]

TEST_F ( PodOperationLinkTests ,
llzk_ReadPodOp_GetRecordNameAttr  )

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

◆ TEST_F() [22/31]

TEST_F ( PodOperationLinkTests ,
llzk_ReadPodOp_GetResult  )

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

◆ TEST_F() [23/31]

TEST_F ( PodOperationLinkTests ,
llzk_ReadPodOp_SetPodRef  )

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

◆ TEST_F() [24/31]

TEST_F ( PodOperationLinkTests ,
llzk_ReadPodOp_SetRecordNameAttr  )

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

◆ TEST_F() [25/31]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_Build  )

This test ensures llzkPod_WritePodOpBuild links properly.

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

◆ TEST_F() [26/31]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_GetPodRef  )

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

◆ TEST_F() [27/31]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_GetRecordNameAttr  )

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

◆ TEST_F() [28/31]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_GetValue  )

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

◆ TEST_F() [29/31]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_SetPodRef  )

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

◆ TEST_F() [30/31]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_SetRecordNameAttr  )

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

◆ TEST_F() [31/31]

TEST_F ( PodOperationLinkTests ,
llzk_WritePodOp_SetValue  )

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