mock_merkle_check.hpp

Go to the documentation of this file.

#pragma once
 
#include <gmock/gmock.h>
 
#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/simulation/interfaces/merkle_check.hpp"
 
namespace bb::avm2::simulation {
 
class MockMerkleCheck : public MerkleCheckInterface {
  public:
    MockMerkleCheck();
    ~MockMerkleCheck() override;
 
    MOCK_METHOD(void,
                assert_membership,
                (uint64_t domain_separator,
                 const FF& leaf_value,
                 uint64_t leaf_index,
                 std::span<const FF> sibling_path,
                 const FF& root),
                (override));
    MOCK_METHOD(FF,
                write,
                (uint64_t domain_separator,
                 const FF& current_value,
                 const FF& new_value,
                 uint64_t leaf_index,
                 std::span<const FF> sibling_path,
                 const FF& current_root),
                (override));
};
 
} // namespace bb::avm2::simulation