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/field.hpp"
#include "barretenberg/vm2/common/memory_types.hpp"
#include "barretenberg/vm2/simulation/events/data_copy_events.hpp"
#include "barretenberg/vm2/simulation/events/event_emitter.hpp"
#include "barretenberg/vm2/simulation/standalone/pure_gt.hpp"
#include "barretenberg/vm2/simulation/standalone/pure_memory.hpp"
#include "barretenberg/vm2/simulation/testing/mock_bytecode_manager.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_gt.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::simulation

Variable Documentation

calldata

std::vector<MemoryValue> calldata

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 62 of file data_copy.test.cpp.

cd_offset

uint32_t cd_offset = 0

protected

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

child_context_id

uint32_t child_context_id = 2

protected

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

child_rd_addr

uint32_t child_rd_addr = 200

protected

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

child_rd_size

uint32_t child_rd_size = static_cast<uint32_t>(returndata.size())

protected

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

context

StrictMock<MockContext> context

protected

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

data_copy

DataCopy data_copy = DataCopy(execution_id_manager, gt, event_emitter)

protected

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

dst_addr

uint32_t dst_addr = 0

protected

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

event_emitter

EventEmitter<DataCopyEvent> event_emitter

protected

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

execution_id_manager

StrictMock<MockExecutionIdManager> execution_id_manager

protected

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

gt

PureGreaterThan gt

protected

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

mem

MemoryStore mem

protected

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

parent_cd_addr

uint32_t parent_cd_addr = 100

protected

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

parent_cd_size

uint32_t parent_cd_size = static_cast<uint32_t>(calldata.size())

protected

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

returndata

std::vector<MemoryValue> returndata

protected

Initial value:

= {
        MemoryValue::from<FF>(9), MemoryValue::from<FF>(10), MemoryValue::from<FF>(11), MemoryValue::from<FF>(12)
    }

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