twin_rom_table.test.cpp File Reference

#include <array>
#include <gtest/gtest.h>
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
#include "twin_rom_table.hpp"

Go to the source code of this file.

Classes
class	TwinRomTableTests< Builder >

Typedefs
using	BuilderTypes = testing::Types< UltraCircuitBuilder, MegaCircuitBuilder >

Functions
STANDARD_TESTING_TAGS	TEST (TwinRomTable, TagCorrectness)
	Check the correctness of tag propagation within the twin rom tables.
	TYPED_TEST_SUITE (TwinRomTableTests, BuilderTypes)
	TYPED_TEST (TwinRomTableTests, ReadWriteConsistency)
	tests basic functionality, as well as the number of gates added per ROM read (not including the finalization/processing): one gate per variable lookup, zero gates per constant lookup.

Typedef Documentation

BuilderTypes

using BuilderTypes = testing::Types<UltraCircuitBuilder, MegaCircuitBuilder>

Definition at line 20 of file twin_rom_table.test.cpp.

Function Documentation

TEST()

STANDARD_TESTING_TAGS TEST	(	TwinRomTable	,
		TagCorrectness
	)

Check the correctness of tag propagation within the twin rom tables.

Definition at line 30 of file twin_rom_table.test.cpp.

TYPED_TEST()

TYPED_TEST	(	TwinRomTableTests	,
		ReadWriteConsistency
	)

tests basic functionality, as well as the number of gates added per ROM read (not including the finalization/processing): one gate per variable lookup, zero gates per constant lookup.

Definition at line 75 of file twin_rom_table.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	TwinRomTableTests	,
		BuilderTypes
	)