Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
mock_execution_id_manager.hpp
Go to the documentation of this file.
1#pragma once
2
3#include <array>
4#include <gmock/gmock.h>
5
7
8namespace bb::avm2::simulation {
9
11 public:
14
15 MOCK_METHOD(uint32_t, get_execution_id, (), (const, override));
16 MOCK_METHOD(void, increment_execution_id, (), (override));
17};
18
19} // namespace bb::avm2::simulation
virtual uint32_t get_execution_id() const =0
MOCK_METHOD(void, increment_execution_id,(),(override))
MOCK_METHOD(uint32_t, get_execution_id,(),(const, override))
AVM range check gadget for witness generation.