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 56 of file translator_circuit_builder.test.cpp.

Function Documentation

TEST() [1/9]

TEST	(	TranslatorCircuitBuilder	,
		Determinism
	)

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

TEST() [2/9]

TEST	(	TranslatorCircuitBuilder	,
		InterspersedNoOps
	)

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

TEST() [3/9]

TEST	(	TranslatorCircuitBuilder	,
		ManyOperations
	)

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

TEST() [4/9]

TEST	(	TranslatorCircuitBuilder	,
		MinimalOperations
	)

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

TEST() [5/9]

TEST	(	TranslatorCircuitBuilder	,
		OnlyAddOperations
	)

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

TEST() [6/9]

TEST	(	TranslatorCircuitBuilder	,
		OnlyMulOperations
	)

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

TEST() [7/9]

TEST	(	TranslatorCircuitBuilder	,
		PointAtInfinity
	)

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

TEST() [8/9]

TEST	(	TranslatorCircuitBuilder	,
		SeveralOperationCorrectness
	)

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

TEST() [9/9]

TEST	(	TranslatorCircuitBuilder	,
		ZeroScalar
	)

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