From 72316e351df5159384d70faa708224ff2fcc8dd2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Thu, 13 Aug 2015 15:48:40 +0200 Subject: 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. --- scripts/configurations.py | 1 - 1 file changed, 1 deletion(-) (limited to 'scripts') diff --git a/scripts/configurations.py b/scripts/configurations.py index aef8a5f..3f2d15e 100644 --- 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) -- cgit v1.2.3