rom_table.test.cpp File Reference

#include <gtest/gtest.h>
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
#include "rom_table.hpp"

Go to the source code of this file.

Typedefs
using	Builder = UltraCircuitBuilder
using	field_ct = stdlib::field_t< Builder >
using	witness_ct = stdlib::witness_t< Builder >
using	rom_table_ct = stdlib::rom_table< Builder >

Functions
STANDARD_TESTING_TAGS	TEST (RomTable, TagCorrectness)
	Ensure the tags of elements initializing the ROM table are correctly propagated.
	TEST (RomTable, RomTableReadWriteConsistency)

Typedef Documentation

Builder

using Builder = UltraCircuitBuilder

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

field_ct

using field_ct = stdlib::field_t<Builder>

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

rom_table_ct

using rom_table_ct = stdlib::rom_table<Builder>

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

witness_ct

using witness_ct = stdlib::witness_t<Builder>

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

Function Documentation

TEST() [1/2]

TEST	(	RomTable	,
		RomTableReadWriteConsistency
	)

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

TEST() [2/2]

STANDARD_TESTING_TAGS TEST	(	RomTable	,
		TagCorrectness
	)

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

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