dynamic_array.test.cpp File Reference

#include "dynamic_array.hpp"
#include <gtest/gtest.h>
#include "barretenberg/numeric/random/engine.hpp"
#include "../bool/bool.hpp"
#include "../circuit_builders/circuit_builders.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/transcript/origin_tag.hpp"

Go to the source code of this file.

Typedefs
using	Builder = UltraCircuitBuilder
using	bool_ct = stdlib::bool_t< Builder >
using	field_ct = stdlib::field_t< Builder >
using	witness_ct = stdlib::witness_t< Builder >
using	DynamicArray_ct = stdlib::DynamicArray< Builder >

Functions
STANDARD_TESTING_TAGS	TEST (DynamicArray, TagCorrectness)
	Check that tags in Dynamic array are propagated correctly.
	TEST (DynamicArray, DynamicArrayReadWriteConsistency)

Typedef Documentation

bool_ct

using bool_ct = stdlib::bool_t<Builder>

Definition at line 20 of file dynamic_array.test.cpp.

Builder

using Builder = UltraCircuitBuilder

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

DynamicArray_ct

using DynamicArray_ct = stdlib::DynamicArray<Builder>

Definition at line 23 of file dynamic_array.test.cpp.

field_ct

using field_ct = stdlib::field_t<Builder>

Definition at line 21 of file dynamic_array.test.cpp.

witness_ct

using witness_ct = stdlib::witness_t<Builder>

Definition at line 22 of file dynamic_array.test.cpp.

Function Documentation

TEST() [1/2]

TEST	(	DynamicArray	,
		DynamicArrayReadWriteConsistency
	)

Definition at line 79 of file dynamic_array.test.cpp.

TEST() [2/2]

STANDARD_TESTING_TAGS TEST	(	DynamicArray	,
		TagCorrectness
	)

Check that tags in Dynamic array are propagated correctly.

Definition at line 31 of file dynamic_array.test.cpp.