ultra_circuit_builder_lookup.test.cpp File Reference

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

Go to the source code of this file.

Classes
class	UltraCircuitBuilderLookup

Functions
	TEST_F (UltraCircuitBuilderLookup, BasicLookup)
	TEST_F (UltraCircuitBuilderLookup, StepSizeCoefficients)
	TEST_F (UltraCircuitBuilderLookup, DifferentTablesGetUniqueIndices)
	TEST_F (UltraCircuitBuilderLookup, AllMultiTableBasicTablesGetUniquePositiveIndices)
	TEST_F (UltraCircuitBuilderLookup, FinalizationRejectsDuplicateTableIndices)
	TEST_F (UltraCircuitBuilderLookup, FinalizationRejectsZeroTableIndex)
	TEST_F (UltraCircuitBuilderLookup, NoKeyBIndex)
	TEST_F (UltraCircuitBuilderLookup, LookupEntriesRecorded)
	TEST_F (UltraCircuitBuilderLookup, BadAccumulatorFaiure)
	TEST_F (UltraCircuitBuilderLookup, InvalidInputWitnessFailure)

Function Documentation

TEST_F() [1/10]

TEST_F	(	UltraCircuitBuilderLookup	,
		AllMultiTableBasicTablesGetUniquePositiveIndices
	)

Definition at line 129 of file ultra_circuit_builder_lookup.test.cpp.

TEST_F() [2/10]

TEST_F	(	UltraCircuitBuilderLookup	,
		BadAccumulatorFaiure
	)

Definition at line 234 of file ultra_circuit_builder_lookup.test.cpp.

TEST_F() [3/10]

TEST_F	(	UltraCircuitBuilderLookup	,
		BasicLookup
	)

Definition at line 18 of file ultra_circuit_builder_lookup.test.cpp.

TEST_F() [4/10]

TEST_F	(	UltraCircuitBuilderLookup	,
		DifferentTablesGetUniqueIndices
	)

Definition at line 91 of file ultra_circuit_builder_lookup.test.cpp.

TEST_F() [5/10]

TEST_F	(	UltraCircuitBuilderLookup	,
		FinalizationRejectsDuplicateTableIndices
	)

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

TEST_F() [6/10]

TEST_F	(	UltraCircuitBuilderLookup	,
		FinalizationRejectsZeroTableIndex
	)

Definition at line 158 of file ultra_circuit_builder_lookup.test.cpp.

TEST_F() [7/10]

TEST_F	(	UltraCircuitBuilderLookup	,
		InvalidInputWitnessFailure
	)

Definition at line 274 of file ultra_circuit_builder_lookup.test.cpp.

TEST_F() [8/10]

TEST_F	(	UltraCircuitBuilderLookup	,
		LookupEntriesRecorded
	)

Definition at line 194 of file ultra_circuit_builder_lookup.test.cpp.

TEST_F() [9/10]

TEST_F	(	UltraCircuitBuilderLookup	,
		NoKeyBIndex
	)

Definition at line 167 of file ultra_circuit_builder_lookup.test.cpp.

TEST_F() [10/10]

TEST_F	(	UltraCircuitBuilderLookup	,
		StepSizeCoefficients
	)

Definition at line 48 of file ultra_circuit_builder_lookup.test.cpp.