#include "barretenberg/boomerang_value_detection/graph.hpp"
#include "barretenberg/common/test.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/stdlib/primitives/bool/bool.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include "barretenberg/stdlib/primitives/memory/dynamic_array.hpp"

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
	TEST (boomerang_stdlib_dynamic_array, graph_description_dynamic_array_method_resize_test)
	this test checks graph description for dynamic array resize operation The result is one connected component with one variable in one gate, testing array initialization, pushing elements, and resizing operations

	TEST (boomerang_stdlib_dynamic_array, graph_description_dynamic_array_consistency_methods)
	this test checks graph description for dynamic array consistency methods The result is one connected component with no variables in one gate, testing all array manipulation operations

Typedef Documentation

◆ bool_ct

using bool_ct = stdlib::bool_t<Builder>

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

◆ Builder

using Builder = UltraCircuitBuilder

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

◆ DynamicArray_ct

using DynamicArray_ct = stdlib::DynamicArray<Builder>

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

◆ field_ct

using field_ct = stdlib::field_t<Builder>

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

◆ witness_ct

using witness_ct = stdlib::witness_t<Builder>

Definition at line 18 of file graph_description_dynamic_array.test.cpp.

Function Documentation

◆ TEST() [1/2]

TEST	(	boomerang_stdlib_dynamic_array	,
		graph_description_dynamic_array_consistency_methods
	)

this test checks graph description for dynamic array consistency methods The result is one connected component with no variables in one gate, testing all array manipulation operations

Test includes sequence of operations:

Sequential push of witness elements
Sequential pop of all elements
Array resize
Conditional push operations (true and false cases)
Conditional pop operations (true and false cases)

Definition at line 62 of file graph_description_dynamic_array.test.cpp.

◆ TEST() [2/2]

TEST	(	boomerang_stdlib_dynamic_array	,
		graph_description_dynamic_array_method_resize_test
	)

this test checks graph description for dynamic array resize operation The result is one connected component with one variable in one gate, testing array initialization, pushing elements, and resizing operations

Test includes:

Array initialization with max size
Sequential push of witness elements
Resize operation with witness size

Definition at line 30 of file graph_description_dynamic_array.test.cpp.

Typedefs

Functions