#include "barretenberg/vm2/simulation/lib/hinting_dbs.hpp"
#include "barretenberg/api/file_io.hpp"
#include "barretenberg/aztec/aztec_constants.hpp"
#include "barretenberg/vm2/avm_api.hpp"
#include "barretenberg/vm2/common/avm_io.hpp"
#include "barretenberg/vm2/common/aztec_types.hpp"
#include "barretenberg/vm2/simulation/interfaces/db.hpp"
#include "barretenberg/vm2/simulation/lib/raw_data_dbs.hpp"
#include "barretenberg/vm2/simulation/testing/mock_dbs.hpp"
#include "barretenberg/vm2/simulation_helper.hpp"
#include "barretenberg/vm2/testing/fixtures.hpp"
#include <algorithm>
#include <cstddef>
#include <cstdlib>
#include <gmock/gmock.h>
#include <gtest/gtest.h>
#include <vector>

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

namespace	bb::avm2

namespace	bb::avm2::simulation
	AVM range check gadget for witness generation.

Variable Documentation

◆ base_contract_db

::testing::StrictMock<MockContractDB> base_contract_db

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

◆ base_merkle_db

::testing::StrictMock<MockLowLevelMerkleDB> base_merkle_db

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

◆ hinting_contract_db

HintingContractsDB hinting_contract_db = HintingContractsDB(base_contract_db)

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

◆ hinting_merkle_db

HintingRawDB hinting_merkle_db = HintingRawDB(base_merkle_db)

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

◆ inputs

AvmProvingInputs inputs

Definition at line 46 of file hinting_dbs.test.cpp.

◆ mock_tree_info

TreeSnapshots mock_tree_info

protected

Initial value:

= {
        { 1, 2 },
        { 3, 2 },
        { 5, 5 },
        { 7, 3 },
    }

Definition at line 201 of file hinting_dbs.test.cpp.