Solver: Mage: Fix ST file name export.

setup.py
Pierre-Antoine Rouby 2024-02-20 11:14:39 +01:00
parent ab776f15f4
commit c3c5802be2
1 changed files with 1 additions and 3 deletions

View File

@ -148,9 +148,7 @@ class Mage(CommandLineSolver):
) )
for edge in edges: for edge in edges:
name = edge.name.replace(" ", "_") name = f"Reach_{edge.id}"
if edge._name == "":
name = f"Reach_{edge.id}"
with mage_file_open( with mage_file_open(
os.path.join(repertory, "net", f"{name}.ST"), os.path.join(repertory, "net", f"{name}.ST"),