3#include <gmock/gmock.h>
virtual MemoryValue lt(const MemoryValue &a, const MemoryValue &b)=0
virtual MemoryValue add(const MemoryValue &a, const MemoryValue &b)=0
virtual MemoryValue mul(const MemoryValue &a, const MemoryValue &b)=0
virtual MemoryValue shl(const MemoryValue &a, const MemoryValue &b)=0
virtual MemoryValue fdiv(const MemoryValue &a, const MemoryValue &b)=0
virtual MemoryValue div(const MemoryValue &a, const MemoryValue &b)=0
virtual MemoryValue op_not(const MemoryValue &a)=0
virtual MemoryValue lte(const MemoryValue &a, const MemoryValue &b)=0
virtual MemoryValue shr(const MemoryValue &a, const MemoryValue &b)=0
virtual MemoryValue eq(const MemoryValue &a, const MemoryValue &b)=0
virtual MemoryValue sub(const MemoryValue &a, const MemoryValue &b)=0
virtual MemoryValue truncate(const FF &a, MemoryTag dst_tag)=0
MOCK_METHOD(MemoryValue, lte,(const MemoryValue &a, const MemoryValue &b),(override))
MOCK_METHOD(MemoryValue, div,(const MemoryValue &a, const MemoryValue &b),(override))
MOCK_METHOD(MemoryValue, shr,(const MemoryValue &a, const MemoryValue &b),(override))
MOCK_METHOD(MemoryValue, lt,(const MemoryValue &a, const MemoryValue &b),(override))
MOCK_METHOD(MemoryValue, shl,(const MemoryValue &a, const MemoryValue &b),(override))
MOCK_METHOD(MemoryValue, mul,(const MemoryValue &a, const MemoryValue &b),(override))
MOCK_METHOD(MemoryValue, eq,(const MemoryValue &a, const MemoryValue &b),(override))
MOCK_METHOD(MemoryValue, fdiv,(const MemoryValue &a, const MemoryValue &b),(override))
MOCK_METHOD(MemoryValue, sub,(const MemoryValue &a, const MemoryValue &b),(override))
MOCK_METHOD(MemoryValue, op_not,(const MemoryValue &a),(override))
MOCK_METHOD(MemoryValue, add,(const MemoryValue &a, const MemoryValue &b),(override))
MOCK_METHOD(MemoryValue, truncate,(const FF &a, MemoryTag dst_tag),(override))