From ca679ad93ba42890ac2e85336244dfb88d97530c Mon Sep 17 00:00:00 2001 From: VIGNET Pierre <pierre.vignet@irisa.fr> Date: Mon, 25 Nov 2019 20:22:00 +0100 Subject: [PATCH] [cmd] Fix typos; rename search function --- command_line/cadbiom_cmd/solution_search.py | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/command_line/cadbiom_cmd/solution_search.py b/command_line/cadbiom_cmd/solution_search.py index 0f1b4bc..cb64331 100644 --- a/command_line/cadbiom_cmd/solution_search.py +++ b/command_line/cadbiom_cmd/solution_search.py @@ -144,8 +144,9 @@ def get_dimacs_start_properties(mcla, previous_frontier_places): for frontier_places in previous_frontier_places] -def main2(chart_file, mac_file, mac_step_file, mac_complete_file, mac_strong_file, - steps, final_prop, start_prop, inv_prop, all_macs, continue_run, limit): +def search_entry_point( + chart_file, mac_file, mac_step_file, mac_complete_file, mac_strong_file, + steps, final_prop, start_prop, inv_prop, all_macs, continue_run, limit): """Search solutions :param chart_file: Model file (bcx, xml, cal). @@ -722,14 +723,14 @@ def compute_macs(params): if not params['continue']: # Reset previous working files - # PS: the reload is done in main2() function + # PS: the reload is done in search_entry_point() function remove_file(mac_file) remove_file(mac_step_file) remove_file(mac_complete_file) remove_file(mac_strong_file) # MAC research - main2( + search_entry_point( params['chart_file'], # chart_file mac_file, # mac_file mac_step_file, # mac_step_file -- GitLab