diff --git a/command_line/cadbiom_cmd/solution_search.py b/command_line/cadbiom_cmd/solution_search.py index 0d1d756d45f1b4c92da1193e0e3a7b44aeb5feba..2490b9fe1edfe5028b3b07f02feefc0a711e2b10 100644 --- a/command_line/cadbiom_cmd/solution_search.py +++ b/command_line/cadbiom_cmd/solution_search.py @@ -196,6 +196,7 @@ def main2(chart_file, mac_file, mac_step_file, mac_complete_file, mac_strong_fil if continue_run: # Reload previous working files try: + ## TODO: see docstring of read_mac_file previous_frontier_places = read_mac_file(mac_file) current_start_prop = make_logical_formula(previous_frontier_places, start_prop) @@ -717,6 +718,9 @@ def compute_macs(params): def read_mac_file(file): """Return a list a fontier places already found in mac file + .. TODO: use tools/solutions.py functions to reload frontiers + => put these functions into the library... + .. note:: use make_logical_formula() to get the new start_prop of the run. :param: Mac file of a previous run