Fix configuration generation missing file exception

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.

diff --git a/scripts/configurations.py b/scripts/configurations.py
index aef8a5f62340932cfa938b880bcc728e74b1b901..3f2d15ef12a15a7ea176b2a571da8cd932fdf227 100644 (file)
--- a/scripts/configurations.py
+++ b/scripts/configurations.py
@@ -180,7 +180,6 @@ def __generate_single__(var_num, conf_num):
                for con in confs:
                        __register_conf__(con, conf_num, 'single-sat')
        except exceptions.NoSolution:
-               os.remove(tfile)
                return __generate_single__(var_num, conf_num)
        finally:
                os.remove(tfile)