data_copy.test.cpp File Reference

#include "barretenberg/vm2/simulation/gadgets/data_copy.hpp"
#include <cstdint>
#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/gadgets/gt.hpp"
#include "barretenberg/vm2/simulation/gadgets/range_check.hpp"
#include "barretenberg/vm2/simulation/standalone/pure_gt.hpp"
#include "barretenberg/vm2/simulation/standalone/pure_memory.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/tracegen/calldata_trace.hpp"
#include "barretenberg/vm2/tracegen/data_copy_trace.hpp"
#include "barretenberg/vm2/tracegen/execution_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 59 of file data_copy.test.cpp.

copy_data

DataCopy copy_data = DataCopy(execution_id_manager, gt, event_emitter)

protected

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

data

const std::vector<MemoryValue> data

protected

Initial value:

= {
        MemoryValue::from<FF>(1), MemoryValue::from<FF>(2), MemoryValue::from<FF>(3), MemoryValue::from<FF>(4),
        MemoryValue::from<FF>(5), MemoryValue::from<FF>(6), MemoryValue::from<FF>(7), MemoryValue::from<FF>(8),
    }

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

dst_addr

uint32_t dst_addr = 0

protected

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

event_emitter

EventEmitter<DataCopyEvent> event_emitter

protected

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

execution_id_manager

ExecutionIdManager execution_id_manager = ExecutionIdManager(0)

protected

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

gt

GreaterThan gt = GreaterThan(mock_field_gt, range_check, gt_event_emitter)

protected

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

gt_event_emitter

EventEmitter<GreaterThanEvent> gt_event_emitter

protected

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

mem

MemoryStore mem

protected

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

mock_field_gt

StrictMock<MockFieldGreaterThan> mock_field_gt

protected

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

range_check

RangeCheck range_check = RangeCheck(range_check_event_emitter)

protected

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

range_check_event_emitter

EventEmitter<RangeCheckEvent> range_check_event_emitter

protected

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

trace

TestTraceContainer trace

protected

Initial value:

= TestTraceContainer({
        {
            { C::precomputed_first_row, 1 },
        },
    })

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