Execute checkmeasure only once

2 files changed, 7 insertions, 0 deletions

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")
 
 #################################################################################