Skip to content

Commit

Permalink
Fix: Use weight when determining counter example for conflict edges
Browse files Browse the repository at this point in the history
  • Loading branch information
thvitt committed Mar 6, 2019
1 parent 6e30983 commit 9ed34c6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/macrogen/report.py
Expand Up @@ -648,7 +648,7 @@ def _report_conflict(graphs: MacrogenesisInfo, u, v):
| {v} | set(graphs.base.predecessors(v)) | set(graphs.base.successors(v))
counter_path = []
try:
counter_path = nx.shortest_path(graphs.dag, v, u)
counter_path = nx.shortest_path(graphs.dag, v, u, weight='weight')
relevant_nodes = set(counter_path)
counter_desc = " → ".join(map(_fmt_node, counter_path))
counter_html = f'<p><strong>Pfad in Gegenrichtung:</strong> {counter_desc}</p>'
Expand Down

0 comments on commit 9ed34c6

Please sign in to comment.