def convert_set_to_ranges(charset):
    working_set = set(charset)
    output_list = []
    while working_set:
        start = min(working_set)
        end = start + 1
        while end in working_set:
            end += 1
        output_list.append((start, end - 1))
        working_set.difference_update(range(start, end))
    return output_list
Has the resource finished?
dataset/ETHPy150Open dieface/domywebfont/coverage.py/convert_set_to_ranges--crossover with--dataset/ETHPy150Open s3rvac/retdec-python/retdec/resource.py/Resource.has_finished