ultra_circuit_builder_arithmetic.test.cpp File Reference

#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	UltraCircuitBuilderArithmetic
	Test suite for UltraCircuitBuilder arithmetic gate methods. More...
struct	UltraCircuitBuilderArithmetic::AddTripleData
struct	UltraCircuitBuilderArithmetic::AddQuadData
struct	UltraCircuitBuilderArithmetic::MulQuadData
struct	UltraCircuitBuilderArithmetic::ArithTripleData

Functions
	TEST_F (UltraCircuitBuilderArithmetic, AddGate)
	TEST_F (UltraCircuitBuilderArithmetic, AddGateFailure)
	TEST_F (UltraCircuitBuilderArithmetic, BigAddGate)
	TEST_F (UltraCircuitBuilderArithmetic, BigAddGateFailure)
	TEST_F (UltraCircuitBuilderArithmetic, ArithmeticGate)
	TEST_F (UltraCircuitBuilderArithmetic, ArithmeticGateFailure)
	TEST_F (UltraCircuitBuilderArithmetic, MultipleGates)
	TEST_F (UltraCircuitBuilderArithmetic, ArithmeticGateComplexExpression)
	TEST_F (UltraCircuitBuilderArithmetic, BigAddGateWithNextRowW4)
	TEST_F (UltraCircuitBuilderArithmetic, BigAddGateWithNextRowW4Failure)
	TEST_F (UltraCircuitBuilderArithmetic, BigMulAddGate)
	TEST_F (UltraCircuitBuilderArithmetic, BigMulAddGateFailure)
	TEST_F (UltraCircuitBuilderArithmetic, BigMulAddGateWithNextRowW4)
	TEST_F (UltraCircuitBuilderArithmetic, BigMulAddGateWithNextRowW4Failure)
	TEST_F (UltraCircuitBuilderArithmetic, BoolGate)
	TEST_F (UltraCircuitBuilderArithmetic, BoolGateFailure)
	TEST_F (UltraCircuitBuilderArithmetic, QArith3Gate)
	TEST_F (UltraCircuitBuilderArithmetic, MultiplicationByZero)
	TEST_F (UltraCircuitBuilderArithmetic, FixedWitnessesInGates)
	TEST_F (UltraCircuitBuilderArithmetic, FieldBoundaryValues)
	TEST_F (UltraCircuitBuilderArithmetic, AllZeroGate)
	TEST_F (UltraCircuitBuilderArithmetic, ZeroIdx)
	TEST_F (UltraCircuitBuilderArithmetic, ZeroScalingFactors)
	TEST_F (UltraCircuitBuilderArithmetic, BigMulAddAllParametersNonZero)
	TEST_F (UltraCircuitBuilderArithmetic, PublicInputInArithmetic)

Function Documentation

TEST_F() [1/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		AddGate
	)

Definition at line 87 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [2/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		AddGateFailure
	)

Definition at line 102 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [3/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		AllZeroGate
	)

Definition at line 663 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [4/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		ArithmeticGate
	)

Definition at line 181 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [5/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		ArithmeticGateComplexExpression
	)

Definition at line 273 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [6/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		ArithmeticGateFailure
	)

Definition at line 197 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [7/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		BigAddGate
	)

Definition at line 131 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [8/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		BigAddGateFailure
	)

Definition at line 148 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [9/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		BigAddGateWithNextRowW4
	)

Definition at line 296 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [10/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		BigAddGateWithNextRowW4Failure
	)

Definition at line 326 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [11/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		BigMulAddAllParametersNonZero
	)

Definition at line 707 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [12/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		BigMulAddGate
	)

Definition at line 353 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [13/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		BigMulAddGateFailure
	)

Definition at line 379 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [14/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		BigMulAddGateWithNextRowW4
	)

Definition at line 415 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [15/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		BigMulAddGateWithNextRowW4Failure
	)

Definition at line 443 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [16/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		BoolGate
	)

Definition at line 470 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [17/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		BoolGateFailure
	)

Definition at line 490 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [18/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		FieldBoundaryValues
	)

Definition at line 642 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [19/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		FixedWitnessesInGates
	)

Definition at line 623 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [20/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		MultipleGates
	)

Definition at line 228 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [21/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		MultiplicationByZero
	)

Definition at line 601 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [22/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		PublicInputInArithmetic
	)

Definition at line 741 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [23/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		QArith3Gate
	)

Definition at line 513 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [24/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		ZeroIdx
	)

Definition at line 676 of file ultra_circuit_builder_arithmetic.test.cpp.

TEST_F() [25/25]

TEST_F	(	UltraCircuitBuilderArithmetic	,
		ZeroScalingFactors
	)

Definition at line 691 of file ultra_circuit_builder_arithmetic.test.cpp.