@abc.abstractmethod
    def allocate(self, pool=None):
        pass
For the Z3 test runner
dataset/ETHPy150Open CiscoSystems/avos/openstack_dashboard/api/network_base.py/FloatingIpManager.allocate--crossover with--dataset/ETHPy150Open davemerwin/blue-channel/external_apps/pytz/tests/test_docs.py/test_suite