civc_recursion_constraints.test.cpp File Reference

#include "barretenberg/client_ivc/mock_circuit_producer.hpp"
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/dsl/acir_format/acir_format_mocks.hpp"
#include "barretenberg/dsl/acir_format/proof_surgeon.hpp"
#include "barretenberg/stdlib/client_ivc_verifier/client_ivc_recursive_verifier.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	CivcRecursionConstraintTest
struct	CivcRecursionConstraintTest::ClientIVCData

Functions
	TEST_F (CivcRecursionConstraintTest, GenerateRecursiveCivcVerifierVKFromConstraints)

Function Documentation

TEST_F()

TEST_F	(	CivcRecursionConstraintTest	,
		GenerateRecursiveCivcVerifierVKFromConstraints
	)

Definition at line 104 of file civc_recursion_constraints.test.cpp.