ram_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 "ram_table.hpp"

Go to the source code of this file.

Classes
class	RamTableTests< Builder >

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

Functions
STANDARD_TESTING_TAGS	TEST (RamTable, TagCorrectness)
	Check that Origin Tags within the ram table are propagated correctly (when we lookup an element it has the same tag as the one inserted originally)
	TYPED_TEST_SUITE (RamTableTests, BuilderTypes)
	TYPED_TEST (RamTableTests, RamTableInitReadConsistency)
	TYPED_TEST (RamTableTests, RamTableReadWriteConsistency)

Typedef Documentation

BuilderTypes

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

Definition at line 17 of file ram_table.test.cpp.

Function Documentation

TEST()

STANDARD_TESTING_TAGS TEST	(	RamTable	,
		TagCorrectness
	)

Check that Origin Tags within the ram table are propagated correctly (when we lookup an element it has the same tag as the one inserted originally)

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

TYPED_TEST() [1/2]

TYPED_TEST	(	RamTableTests	,
		RamTableInitReadConsistency
	)

Definition at line 78 of file ram_table.test.cpp.

TYPED_TEST() [2/2]

TYPED_TEST	(	RamTableTests	,
		RamTableReadWriteConsistency
	)

Definition at line 117 of file ram_table.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	RamTableTests	,
		BuilderTypes
	)