From 4951437ddfa91726acf9610953a072cc2e56c8e1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Tue, 22 Sep 2015 12:56:30 +0200 Subject: Execute checkmeasure only once --- conf.py | 1 + scripts/initialize.py | 6 ++++++ 2 files changed, 7 insertions(+) diff --git a/conf.py b/conf.py index eb8e7ac..b4c2261 100644 --- a/conf.py +++ b/conf.py @@ -101,6 +101,7 @@ measure_file = build_folder + 'measure' dot_measure_file = build_folder + 'dot_measure' dot_config_back_file = build_folder + 'dot_config_back' single_generated_file = build_folder + 'single_generated' +measurechecked_file = build_folder + 'measurechecked' result_folder = 'result/' log_folder = 'log/' diff --git a/scripts/initialize.py b/scripts/initialize.py index e476f1d..8461b34 100755 --- a/scripts/initialize.py +++ b/scripts/initialize.py @@ -98,6 +98,10 @@ def gen_fixed(): fmes.write(str(srmap[line[7:indx]]) + "\n") def checkmeasure(): + if os.path.isfile(sf(conf.measurechecked_file)): + print("Checking if all configurations can be measured skiped.") + print(" For new check remove file " + sf(conf.measurechecked_file)) + return print("Checking if all configurations can be measured...") utils.build_symbol_map() measure_list = set() @@ -117,6 +121,8 @@ def checkmeasure(): configurations.__exec_sat__(tfile2, [], conf_num) except exceptions.NoSolution: print("W: " + utils.smap[measure] + " won't be measured!") + with open(sf(conf.measurechecked_file), 'w') as f: + f.write("Remove this file if you wanna execute check if all configurations can be measured once again.\n") ################################################################################# -- cgit v1.2.3