def progress(self):
        x, y = 0, 0

        if self.edge_cov > 0:
            x, y = x + len(self.edges_seen), y + self.edges_count
        if self.vert_cov > 0:
            x, y = x + len(self.verts_seen), y + self.verts_count

        assert y > 0
        return "%d/%d: %d" % (x, y, 100.0 * x / y)
dataset/ETHPy150Open spotify/python-graphwalker/graphwalker/halting.py/Coverage.progress/original