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  LlzkOperationLinkTests
struct  NonDetOpBuildFuncHelper

Functions

 TEST_F (LlzkOperationLinkTests, IsA_Llzk_NonDetOp)
 This test ensures llzkOperationIsA_Llzk_NonDetOp links properly.
 TEST_F (LlzkOperationLinkTests, llzk_NonDetOp_Build)
 This test ensures llzkLlzk_NonDetOpBuild links properly.
 TEST_F (CAPITest, NonDetOp_build_pass)
 This test ensures llzkLlzkNonDetOpBuild() successfully builds an Operation of the correct type that passes verification.
 TEST_F (LlzkOperationLinkTests, llzk_NonDetOp_GetRes)

Function Documentation

◆ TEST_F() [1/4]

TEST_F ( CAPITest ,
NonDetOp_build_pass  )

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

It relies on a manual implemenation of NonDetOpBuildFuncHelper::callBuild() that calls llzkLlzkNonDetOpBuild().

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

◆ TEST_F() [2/4]

TEST_F ( LlzkOperationLinkTests ,
IsA_Llzk_NonDetOp  )

This test ensures llzkOperationIsA_Llzk_NonDetOp links properly.

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

◆ TEST_F() [3/4]

TEST_F ( LlzkOperationLinkTests ,
llzk_NonDetOp_Build  )

This test ensures llzkLlzk_NonDetOpBuild links properly.

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

◆ TEST_F() [4/4]

TEST_F ( LlzkOperationLinkTests ,
llzk_NonDetOp_GetRes  )

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