translator_circuit_builder.test.cpp File Reference

#include "translator_circuit_builder.hpp"
#include "barretenberg/circuit_checker/translator_circuit_checker.hpp"
#include "barretenberg/ecc/curves/bn254/bn254.hpp"
#include "barretenberg/op_queue/ecc_op_queue.hpp"
#include <array>
#include <cstddef>
#include <gtest/gtest.h>

Go to the source code of this file.

Typedefs
using	CircuitChecker = TranslatorCircuitChecker

Functions
	TEST (TranslatorCircuitBuilder, SeveralOperationCorrectness)
	TEST (TranslatorCircuitBuilder, MinimalOperations)
	TEST (TranslatorCircuitBuilder, OnlyAddOperations)
	TEST (TranslatorCircuitBuilder, OnlyMulOperations)
	TEST (TranslatorCircuitBuilder, InterspersedNoOps)
	TEST (TranslatorCircuitBuilder, PointAtInfinity)
	TEST (TranslatorCircuitBuilder, ZeroScalar)
	TEST (TranslatorCircuitBuilder, ManyOperations)
	TEST (TranslatorCircuitBuilder, Determinism)

Typedef Documentation

CircuitChecker

using CircuitChecker = TranslatorCircuitChecker

Definition at line 60 of file translator_circuit_builder.test.cpp.

Function Documentation

TEST() [1/9]

TEST	(	TranslatorCircuitBuilder	,
		Determinism
	)

Definition at line 310 of file translator_circuit_builder.test.cpp.

TEST() [2/9]

TEST	(	TranslatorCircuitBuilder	,
		InterspersedNoOps
	)

Definition at line 188 of file translator_circuit_builder.test.cpp.

TEST() [3/9]

TEST	(	TranslatorCircuitBuilder	,
		ManyOperations
	)

Definition at line 275 of file translator_circuit_builder.test.cpp.

TEST() [4/9]

TEST	(	TranslatorCircuitBuilder	,
		MinimalOperations
	)

Definition at line 105 of file translator_circuit_builder.test.cpp.

TEST() [5/9]

TEST	(	TranslatorCircuitBuilder	,
		OnlyAddOperations
	)

Definition at line 125 of file translator_circuit_builder.test.cpp.

TEST() [6/9]

TEST	(	TranslatorCircuitBuilder	,
		OnlyMulOperations
	)

Definition at line 156 of file translator_circuit_builder.test.cpp.

TEST() [7/9]

TEST	(	TranslatorCircuitBuilder	,
		PointAtInfinity
	)

Definition at line 217 of file translator_circuit_builder.test.cpp.

TEST() [8/9]

TEST	(	TranslatorCircuitBuilder	,
		SeveralOperationCorrectness
	)

Definition at line 63 of file translator_circuit_builder.test.cpp.

TEST() [9/9]

TEST	(	TranslatorCircuitBuilder	,
		ZeroScalar
	)

Definition at line 245 of file translator_circuit_builder.test.cpp.