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  RamOperationLinkTests
struct  LoadOpBuildFuncHelper
struct  StoreOpBuildFuncHelper

Functions

 TEST_F (RamOperationLinkTests, IsA_Ram_LoadOp)
 This test ensures llzkOperationIsA_Ram_LoadOp links properly.
 TEST_F (RamOperationLinkTests, llzk_LoadOp_Build)
 This test ensures llzkRam_LoadOpBuild links properly.
 TEST_F (CAPITest, LoadOp_build_pass)
 This test ensures llzkRamLoadOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (RamOperationLinkTests, llzk_LoadOp_GetAddr)
 TEST_F (RamOperationLinkTests, llzk_LoadOp_SetAddr)
 TEST_F (RamOperationLinkTests, llzk_LoadOp_GetVal)
 TEST_F (RamOperationLinkTests, IsA_Ram_StoreOp)
 This test ensures llzkOperationIsA_Ram_StoreOp links properly.
 TEST_F (RamOperationLinkTests, llzk_StoreOp_Build)
 This test ensures llzkRam_StoreOpBuild links properly.
 TEST_F (CAPITest, StoreOp_build_pass)
 This test ensures llzkRamStoreOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (RamOperationLinkTests, llzk_StoreOp_GetAddr)
 TEST_F (RamOperationLinkTests, llzk_StoreOp_SetAddr)
 TEST_F (RamOperationLinkTests, llzk_StoreOp_GetVal)
 TEST_F (RamOperationLinkTests, llzk_StoreOp_SetVal)

Function Documentation

◆ TEST_F() [1/13]

TEST_F ( CAPITest ,
LoadOp_build_pass  )

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

It relies on a manual implemenation of LoadOpBuildFuncHelper::callBuild() that calls llzkRamLoadOpBuild().

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

◆ TEST_F() [2/13]

TEST_F ( CAPITest ,
StoreOp_build_pass  )

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

It relies on a manual implemenation of StoreOpBuildFuncHelper::callBuild() that calls llzkRamStoreOpBuild().

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

◆ TEST_F() [3/13]

TEST_F ( RamOperationLinkTests ,
IsA_Ram_LoadOp  )

This test ensures llzkOperationIsA_Ram_LoadOp links properly.

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

◆ TEST_F() [4/13]

TEST_F ( RamOperationLinkTests ,
IsA_Ram_StoreOp  )

This test ensures llzkOperationIsA_Ram_StoreOp links properly.

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

◆ TEST_F() [5/13]

TEST_F ( RamOperationLinkTests ,
llzk_LoadOp_Build  )

This test ensures llzkRam_LoadOpBuild links properly.

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

◆ TEST_F() [6/13]

TEST_F ( RamOperationLinkTests ,
llzk_LoadOp_GetAddr  )

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

◆ TEST_F() [7/13]

TEST_F ( RamOperationLinkTests ,
llzk_LoadOp_GetVal  )

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

◆ TEST_F() [8/13]

TEST_F ( RamOperationLinkTests ,
llzk_LoadOp_SetAddr  )

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

◆ TEST_F() [9/13]

TEST_F ( RamOperationLinkTests ,
llzk_StoreOp_Build  )

This test ensures llzkRam_StoreOpBuild links properly.

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

◆ TEST_F() [10/13]

TEST_F ( RamOperationLinkTests ,
llzk_StoreOp_GetAddr  )

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

◆ TEST_F() [11/13]

TEST_F ( RamOperationLinkTests ,
llzk_StoreOp_GetVal  )

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

◆ TEST_F() [12/13]

TEST_F ( RamOperationLinkTests ,
llzk_StoreOp_SetAddr  )

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

◆ TEST_F() [13/13]

TEST_F ( RamOperationLinkTests ,
llzk_StoreOp_SetVal  )

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