Commit 4cad9121 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

Fix bug during the search of decomp trajectories

parent 513d5caf
...@@ -1003,12 +1003,12 @@ def sol_digging_main(output_dir, model_file, solution_path, conditions=True): ...@@ -1003,12 +1003,12 @@ def sol_digging_main(output_dir, model_file, solution_path, conditions=True):
# Get transitions from the model # Get transitions from the model
model_transitions = get_transitions(model_file) model_transitions = get_transitions(model_file)
decompiled_filename = output_dir + filename + '_decomp' + file_extension
if os.path.isfile(solution_path): if os.path.isfile(solution_path):
# The given path is a solution file # The given path is a solution file
# Add _decomp to the solution filename # Add _decomp to the solution filename
filename, file_extension = os.path.splitext(solution_path) filename = os.path.basename(os.path.splitext(solution_path)[0])
decompiled_filename = output_dir + filename + '_decomp.txt'
decomp_solutions = sol_digging( decomp_solutions = sol_digging(
load_solutions(solution_path), load_solutions(solution_path),
model_transitions, model_transitions,
...@@ -1026,7 +1026,8 @@ def sol_digging_main(output_dir, model_file, solution_path, conditions=True): ...@@ -1026,7 +1026,8 @@ def sol_digging_main(output_dir, model_file, solution_path, conditions=True):
enumerate(glob.glob(solution_path + '*cam_complete.txt'), 1): enumerate(glob.glob(solution_path + '*cam_complete.txt'), 1):
# Add _decomp to the solution filename # Add _decomp to the solution filename
filename, file_extension = os.path.splitext(solution_file) filename = os.path.basename(os.path.splitext(solution_file)[0])
decompiled_filename = output_dir + filename + '_decomp.txt'
decomp_solutions = sol_digging( decomp_solutions = sol_digging(
load_solutions(solution_file), load_solutions(solution_file),
model_transitions, model_transitions,
......
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