Execute checkmeasure only once

diff --git a/conf.py b/conf.py
index eb8e7accf0980ea85ba049584b35cec4e2fc483f..b4c226162ba536a4404855fda724d801a6676c2b 100644 (file)
--- 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 e476f1d10bad01f3106ea1c825223546d0eb9fdc..8461b346a127edb3b7c5dae54515be79bb3aa6d9 100755 (executable)
--- 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")
 
 #################################################################################