tx_execution.test.cpp File Reference

#include "barretenberg/vm2/simulation/gadgets/tx_execution.hpp"
#include "barretenberg/vm2/simulation/testing/mock_context.hpp"
#include "barretenberg/vm2/simulation/testing/mock_context_provider.hpp"
#include "barretenberg/vm2/simulation/testing/mock_dbs.hpp"
#include "barretenberg/vm2/simulation/testing/mock_execution.hpp"
#include "barretenberg/vm2/simulation/testing/mock_field_gt.hpp"
#include "barretenberg/vm2/simulation/testing/mock_memory.hpp"
#include "barretenberg/vm2/simulation/testing/mock_poseidon2.hpp"
#include "barretenberg/vm2/simulation/testing/mock_retrieved_bytecodes_tree_check.hpp"
#include "barretenberg/vm2/simulation/testing/mock_written_public_data_slots_tree_check.hpp"
#include "barretenberg/vm2/testing/fixtures.hpp"
#include <gmock/gmock.h>
#include <gtest/gtest.h>

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

context_provider

NiceMock<MockContextProvider> context_provider

protected

Definition at line 28 of file tx_execution.test.cpp.

execution

NiceMock<MockExecution> execution

protected

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

field_gt

NiceMock<MockFieldGreaterThan> field_gt

protected

Definition at line 32 of file tx_execution.test.cpp.

merkle_db

NiceMock<MockHighLevelMerkleDB> merkle_db

protected

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

poseidon2

NiceMock<MockPoseidon2> poseidon2

protected

Definition at line 33 of file tx_execution.test.cpp.

retrieved_bytecodes_tree_check

NiceMock<MockRetrievedBytecodesTreeCheck> retrieved_bytecodes_tree_check

protected

Definition at line 35 of file tx_execution.test.cpp.

tx_event_emitter

EventEmitter<TxEvent> tx_event_emitter

protected

Definition at line 29 of file tx_execution.test.cpp.

tx_execution

TxExecution tx_execution

protected

Initial value:

= TxExecution(execution,
                                           context_provider,
                                           merkle_db,
                                           written_public_data_slots_tree_check,
                                           retrieved_bytecodes_tree_check,
                                           field_gt,
                                           poseidon2,
                                           tx_event_emitter)

Definition at line 36 of file tx_execution.test.cpp.

written_public_data_slots_tree_check

NiceMock<MockWrittenPublicDataSlotsTreeCheck> written_public_data_slots_tree_check

protected

Definition at line 34 of file tx_execution.test.cpp.