diff options
| -rw-r--r-- | conf.py | 1 | ||||
| -rwxr-xr-x | scripts/initialize.py | 6 |
2 files changed, 7 insertions, 0 deletions
@@ -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") ################################################################################# |