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.

Typedefs
using	Builder = UltraCircuitBuilder
using	field_ct = stdlib::field_t< Builder >
using	witness_ct = stdlib::witness_t< Builder >
using	ram_table_ct = stdlib::ram_table< Builder >

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)
	TEST (RamTable, RamTableInitReadConsistency)
	TEST (RamTable, RamTableReadWriteConsistency)

Typedef Documentation

Builder

using Builder = UltraCircuitBuilder

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

field_ct

using field_ct = stdlib::field_t<Builder>

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

ram_table_ct

using ram_table_ct = stdlib::ram_table<Builder>

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

witness_ct

using witness_ct = stdlib::witness_t<Builder>

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

Function Documentation

TEST() [1/3]

TEST	(	RamTable	,
		RamTableInitReadConsistency
	)

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

TEST() [2/3]

TEST	(	RamTable	,
		RamTableReadWriteConsistency
	)

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

TEST() [3/3]

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 26 of file ram_table.test.cpp.