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/transcript/origin_tag.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)
	TEST (RomTable, OobConstantIndexDoesNotCrashRegression)
	OOB constant-index access soft-fails correctly without crashing.
	TEST (RomTable, OobWitnessIndexDoesNotCrashRegression)
	Regression: OOB witness-index read must soft-fail without OOB vector access.

Typedef Documentation

BuilderTypes

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

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

Function Documentation

TEST() [1/3]

TEST	(	RomTable	,
		OobConstantIndexDoesNotCrashRegression
	)

OOB constant-index access soft-fails correctly without crashing.

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

TEST() [2/3]

TEST	(	RomTable	,
		OobWitnessIndexDoesNotCrashRegression
	)

Regression: OOB witness-index read must soft-fail without OOB vector access.

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

TEST() [3/3]

STANDARD_TESTING_TAGS TEST	(	RomTable	,
		TagCorrectness
	)

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

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

TYPED_TEST() [1/2]

TYPED_TEST	(	RomTableTests	,
		RomCopy
	)

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

TYPED_TEST() [2/2]

TYPED_TEST	(	RomTableTests	,
		RomTableReadWriteConsistency
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	RomTableTests	,
		BuilderTypes
	)