Commit ca0bf25a authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

Fix limit for solutions search: avoid unwanted computation

parent 574eff06
......@@ -201,10 +201,18 @@ def main2(chart_file, mac_file, mac_step_file, mac_complete_file, mac_strong_fil
current_start_prop = start_prop
i = 0
i = len(previous_frontier_places)-1 if previous_frontier_places else 0
#with PyCallGraph(output=GraphvizOutput()):
while True:
print("START PROP:", current_start_prop)
# EXIT
i += 1
if i >= limit:
LOGGER.info("%s:: Reaching the limitation of the number of solutions!",
final_prop)
return
ret = \
find_mac(mcla,
mac_file, mac_step_file, mac_complete_file,
......@@ -235,11 +243,6 @@ def main2(chart_file, mac_file, mac_step_file, mac_complete_file, mac_strong_fil
if not all_macs:
steps = min_steps
# EXIT
i += 1
if i == limit:
return
LOGGER.debug("%s:: Next start_prop formula: %s in %s steps",
final_prop,
current_start_prop,
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment