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 --- scripts/initialize.py | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'scripts') 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