def task_pool_size()

in template-for-repository/proofs/run-cbmc-proofs.py [0:0]


def task_pool_size():
    ret = os.cpu_count()
    if ret is None or ret < 3:
        return 1
    return ret - 2