Commit 31baa732 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[cmd] Add todo: need to put some functions of command_line tools into the...

[cmd] Add todo: need to put some functions of command_line tools into the cadbiom library (for the loading of macs...)
parent 6611a2a8
......@@ -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
......
Markdown is supported
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