Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
mock_range_check.hpp
Go to the documentation of this file.
1
#pragma once
2
3
#include "
barretenberg/vm2/simulation/range_check.hpp
"
4
5
#include <cstddef>
6
#include <gmock/gmock.h>
7
#include <vector>
8
9
namespace
bb::avm2::simulation
{
10
11
class
MockRangeCheck
:
public
RangeCheckInterface
{
12
public
:
13
// https://google.github.io/googletest/gmock_cook_book.html#making-the-compilation-faster
14
MockRangeCheck
();
15
~MockRangeCheck
()
override
;
16
17
MOCK_METHOD
(
void
,
assert_range
, (
uint128_t
value
, uint8_t num_bits), (
override
));
18
};
19
20
}
// namespace bb::avm2::simulation
bb::avm2::simulation::MockRangeCheck
Definition
mock_range_check.hpp:11
bb::avm2::simulation::MockRangeCheck::MockRangeCheck
MockRangeCheck()
bb::avm2::simulation::MockRangeCheck::MOCK_METHOD
MOCK_METHOD(void, assert_range,(uint128_t value, uint8_t num_bits),(override))
bb::avm2::simulation::MockRangeCheck::~MockRangeCheck
~MockRangeCheck() override
bb::avm2::simulation::RangeCheckInterface
Definition
range_check.hpp:11
bb::avm2::simulation::RangeCheckInterface::assert_range
virtual void assert_range(uint128_t value, uint8_t num_bits)=0
bb::avm2::simulation
Definition
address_derivation.cpp:8
value
FF value
Definition
public_data_tree.test.cpp:96
uint128_t
unsigned __int128 uint128_t
Definition
serialize.hpp:44
range_check.hpp
src
barretenberg
vm2
simulation
testing
mock_range_check.hpp
Generated by
1.9.8