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