data_copy.test.cpp File Reference

#include "barretenberg/vm2/simulation/data_copy.hpp"
#include <gmock/gmock.h>
#include <gtest/gtest.h>
#include "barretenberg/vm2/common/aztec_constants.hpp"
#include "barretenberg/vm2/common/memory_types.hpp"
#include "barretenberg/vm2/constraining/flavor_settings.hpp"
#include "barretenberg/vm2/constraining/testing/check_relation.hpp"
#include "barretenberg/vm2/generated/relations/lookups_data_copy.hpp"
#include "barretenberg/vm2/simulation/events/event_emitter.hpp"
#include "barretenberg/vm2/simulation/events/gt_event.hpp"
#include "barretenberg/vm2/simulation/events/range_check_event.hpp"
#include "barretenberg/vm2/simulation/range_check.hpp"
#include "barretenberg/vm2/simulation/testing/fakes/fake_gt.hpp"
#include "barretenberg/vm2/simulation/testing/mock_context.hpp"
#include "barretenberg/vm2/simulation/testing/mock_execution_id_manager.hpp"
#include "barretenberg/vm2/simulation/testing/mock_field_gt.hpp"
#include "barretenberg/vm2/simulation/testing/mock_range_check.hpp"
#include "barretenberg/vm2/testing/fixtures.hpp"
#include "barretenberg/vm2/testing/macros.hpp"
#include "barretenberg/vm2/tooling/debugger.hpp"
#include "barretenberg/vm2/tracegen/calldata_trace.hpp"
#include "barretenberg/vm2/tracegen/data_copy_trace.hpp"
#include "barretenberg/vm2/tracegen/gt_trace.hpp"
#include "barretenberg/vm2/tracegen/range_check_trace.hpp"
#include "barretenberg/vm2/tracegen/test_trace_container.hpp"

Go to the source code of this file.

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2
namespace	bb::avm2::constraining

Variable Documentation

context

StrictMock<MockContext> context

protected

Definition at line 55 of file data_copy.test.cpp.

copy_data

DataCopy copy_data = DataCopy(execution_id_manager, gt, event_emitter)

protected

Definition at line 54 of file data_copy.test.cpp.

data

const std::vector<FF> data = { 1, 2, 3, 4, 5, 6, 7, 8 }

protected

Definition at line 61 of file data_copy.test.cpp.

dst_addr

uint32_t dst_addr = 0

protected

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

event_emitter

EventEmitter<DataCopyEvent> event_emitter

protected

Definition at line 53 of file data_copy.test.cpp.

execution_id_manager

ExecutionIdManager execution_id_manager = ExecutionIdManager(0)

protected

Definition at line 47 of file data_copy.test.cpp.

gt

GreaterThan gt = GreaterThan(mock_field_gt, range_check, gt_event_emitter)

protected

Definition at line 52 of file data_copy.test.cpp.

gt_event_emitter

EventEmitter<GreaterThanEvent> gt_event_emitter

protected

Definition at line 50 of file data_copy.test.cpp.

mem

MemoryStore mem

protected

Definition at line 57 of file data_copy.test.cpp.

mock_field_gt

StrictMock<MockFieldGreaterThan> mock_field_gt

protected

Definition at line 51 of file data_copy.test.cpp.

range_check

RangeCheck range_check = RangeCheck(range_check_event_emitter)

protected

Definition at line 49 of file data_copy.test.cpp.

range_check_event_emitter

EventEmitter<RangeCheckEvent> range_check_event_emitter

protected

Definition at line 48 of file data_copy.test.cpp.

trace

TestTraceContainer trace

protected

Definition at line 59 of file data_copy.test.cpp.