components_check.test.cpp File Reference

Regression tests: small hand-built Acir::Circuit values through serde, create_circuit, and ComponentsChecker (same path as the acir_components_check binary minus file I/O). More...

#include "components_check.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/dsl/acir_format/acir_to_constraint_buf.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include <array>
#include <gtest/gtest.h>
#include <memory>
#include <string>
#include <unordered_map>
#include <unordered_set>

Go to the source code of this file.

Classes
class	AcirComponentsCheckTest

Functions
	TEST_F (AcirComponentsCheckTest, SingleLinearConstraintLinksTwoWitnesses)
	TEST_F (AcirComponentsCheckTest, AllBlackBoxFunctionOpcodesPassComponentsCheck)
	TEST_F (AcirComponentsCheckTest, FixedBaseMultiScalarMulMergesCircuitComponents)
	TEST_F (AcirComponentsCheckTest, MemoryOpcodesPassComponentsCheck)
	TEST_F (AcirComponentsCheckTest, BrilligCallProducesNoComponentErrors)
	TEST_F (AcirComponentsCheckTest, CallOpcodeIsRejectedByCircuitCreation)
	TEST_F (AcirComponentsCheckTest, DetectsSplitComponents)
	TEST_F (AcirComponentsCheckTest, DetectsUnconstrainedWitnesses)
	TEST_F (AcirComponentsCheckTest, TwoIndependentLinkedPairs)
	TEST_F (AcirComponentsCheckTest, PublicInputStyleCircuit)

Detailed Description

Regression tests: small hand-built Acir::Circuit values through serde, create_circuit, and ComponentsChecker (same path as the acir_components_check binary minus file I/O).

Definition in file components_check.test.cpp.

Function Documentation

TEST_F() [1/10]

TEST_F	(	AcirComponentsCheckTest	,
		AllBlackBoxFunctionOpcodesPassComponentsCheck
	)

Definition at line 218 of file components_check.test.cpp.

TEST_F() [2/10]

TEST_F	(	AcirComponentsCheckTest	,
		BrilligCallProducesNoComponentErrors
	)

Definition at line 464 of file components_check.test.cpp.

TEST_F() [3/10]

TEST_F	(	AcirComponentsCheckTest	,
		CallOpcodeIsRejectedByCircuitCreation
	)

Definition at line 494 of file components_check.test.cpp.

TEST_F() [4/10]

TEST_F	(	AcirComponentsCheckTest	,
		DetectsSplitComponents
	)

Definition at line 509 of file components_check.test.cpp.

TEST_F() [5/10]

TEST_F	(	AcirComponentsCheckTest	,
		DetectsUnconstrainedWitnesses
	)

Definition at line 545 of file components_check.test.cpp.

TEST_F() [6/10]

TEST_F	(	AcirComponentsCheckTest	,
		FixedBaseMultiScalarMulMergesCircuitComponents
	)

Definition at line 396 of file components_check.test.cpp.

TEST_F() [7/10]

TEST_F	(	AcirComponentsCheckTest	,
		MemoryOpcodesPassComponentsCheck
	)

Definition at line 438 of file components_check.test.cpp.

TEST_F() [8/10]

TEST_F	(	AcirComponentsCheckTest	,
		PublicInputStyleCircuit
	)

Definition at line 588 of file components_check.test.cpp.

TEST_F() [9/10]

TEST_F	(	AcirComponentsCheckTest	,
		SingleLinearConstraintLinksTwoWitnesses
	)

Definition at line 204 of file components_check.test.cpp.

TEST_F() [10/10]

TEST_F	(	AcirComponentsCheckTest	,
		TwoIndependentLinkedPairs
	)

Definition at line 570 of file components_check.test.cpp.