From 798da7f0a729c4c2d790b276e46b816bd53c8d47 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Tue, 28 Jul 2015 21:56:56 +0200 Subject: Add generator identifier to configuration in database This identifier is for recognition what generator generated specified configuration as first. --- scripts/configurations.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'scripts/configurations.py') diff --git a/scripts/configurations.py b/scripts/configurations.py index 313108a..5a04f38 100644 --- a/scripts/configurations.py +++ b/scripts/configurations.py @@ -143,7 +143,7 @@ def __calchash__(file): hsh = hashlib.md5(bytes(cstr, 'UTF-8')) return hsh.hexdigest() -def __register_conf__(con, conf_num): +def __register_conf__(con, conf_num, generator): dtb = database.database() # Solution to configuration wfile = __write_temp_config_file__(con, conf_num) @@ -158,7 +158,7 @@ def __register_conf__(con, conf_num): # TODO this might have to be tweaked raise Exception() shutil.move(wfile, filen) - dtb.add_configuration(hsh, hshf) + dtb.add_configuration(hsh, hshf, generator) def __generate_single__(var_num, conf_num): if os.path.isfile(sf(conf.single_generated_file)): @@ -173,7 +173,7 @@ def __generate_single__(var_num, conf_num): try: confs = __exec_sat__(tfile, ['-i', '0']) for con in confs: - __register_conf__(con, conf_num) + __register_conf__(con, conf_num, 'single-sat') except exceptions.NoSolution: pass finally: -- cgit v1.2.3