rom_table.test.cpp File Reference

#include "rom_table.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	RomTableTests< Builder >

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

Functions
STANDARD_TESTING_TAGS	TEST (RomTable, TagCorrectness)
	Ensure the tags of elements initializing the ROM table are correctly propagated.
	TYPED_TEST_SUITE (RomTableTests, BuilderTypes)
	TYPED_TEST (RomTableTests, RomTableReadWriteConsistency)
	TYPED_TEST (RomTableTests, RomCopy)
	TYPED_TEST (RomTableTests, RomLogupGateCount)

Typedef Documentation

BuilderTypes

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

Definition at line 19 of file rom_table.test.cpp.

Function Documentation

TEST()

STANDARD_TESTING_TAGS TEST	(	RomTable	,
		TagCorrectness
	)

Ensure the tags of elements initializing the ROM table are correctly propagated.

Definition at line 29 of file rom_table.test.cpp.

TYPED_TEST() [1/3]

TYPED_TEST	(	RomTableTests	,
		RomCopy
	)

Definition at line 118 of file rom_table.test.cpp.

TYPED_TEST() [2/3]

TYPED_TEST	(	RomTableTests	,
		RomLogupGateCount
	)

Definition at line 153 of file rom_table.test.cpp.

TYPED_TEST() [3/3]

TYPED_TEST	(	RomTableTests	,
		RomTableReadWriteConsistency
	)

Definition at line 68 of file rom_table.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	RomTableTests	,
		BuilderTypes
	)