If generating single throw NoSolution exception, randomly generated CNF
file is removed. But finally statement tries to remove it once again.
Solution is to not remove CNF file in exception handling, but only by
finally statement.
for con in confs:
__register_conf__(con, conf_num, 'single-sat')
except exceptions.NoSolution:
for con in confs:
__register_conf__(con, conf_num, 'single-sat')
except exceptions.NoSolution:
return __generate_single__(var_num, conf_num)
finally:
os.remove(tfile)
return __generate_single__(var_num, conf_num)
finally:
os.remove(tfile)