6#include <gmock/gmock.h>
virtual void push(PC return_pc)=0
virtual InternalCallId get_call_id() const =0
virtual InternalCallId get_return_call_id() const =0
virtual InternalCallId get_next_call_id() const =0
~MockInternalCallStackManager() override
MOCK_METHOD(PC, pop,(),(override))
MOCK_METHOD(void, push,(PC pc),(override))
MockInternalCallStackManager()
MOCK_METHOD(InternalCallId, get_call_id,(),(const, override))
MOCK_METHOD(InternalCallId, get_next_call_id,(),(const, override))
MOCK_METHOD(InternalCallId, get_return_call_id,(),(const, override))