4#include <gmock/gmock.h>
virtual uint32_t get_execution_id() const =0
virtual void increment_execution_id()=0
MOCK_METHOD(void, increment_execution_id,(),(override))
MOCK_METHOD(uint32_t, get_execution_id,(),(const, override))
~MockExecutionIdManager() override
AVM range check gadget for witness generation.