Commit 1aef904c authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

Logging during the opening of files

parent 88ae5e36
......@@ -122,13 +122,20 @@ def get_solutions_and_related_places(path):
# Check valid input file/directory
assert os.path.isfile(path) or os.path.isdir(path)"Opening files...")
# Get tuples of frontier places and set of places involved in transitions
# for each file
if os.path.isfile(path):
# the given path is a file
for sol_places in get_solutions_and_related_places_from_file(path):
yield sol_places
elif os.path.isdir(path):
# The given path is a directory
path = path if path[-1] == '/' \
else path + '/'
file_number = 0
for file_number, file_path in \
enumerate(glob.glob(path + '*_decomp.json'), 1):
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