Skip to content

[herd] Fix placement of po edges in dot graphs#1808

Merged
fsestini merged 2 commits into
herd:masterfrom
fsestini:fix-po-graphs
Apr 27, 2026
Merged

[herd] Fix placement of po edges in dot graphs#1808
fsestini merged 2 commits into
herd:masterfrom
fsestini:fix-po-graphs

Conversation

@fsestini

Copy link
Copy Markdown
Collaborator

This PR fixes a regression introduced by my previous PR #1628

The goal of #1628 was to add information to dot graph nodes reflecting the static order of each effect's instruction. However, it erroneously ended up affecting the way po arrows are displayed as well. For this reason, I'm reverting the changes of PR #1628 that pertain to dot graphs rendering. I'm also adding a dedicated regression test.

@fsestini fsestini requested a review from relokin April 24, 2026 12:10
@fsestini fsestini self-assigned this Apr 24, 2026

@relokin relokin left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Two suggestions otherwise the PR looks good to me. Thanks for fixing this!

Comment thread herd/tests/other/poi-loop.t/run.t
Comment thread herd/tests/other/poi-loop.t/wait-flag.litmus Outdated

@relokin relokin left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks Filippo!

@fsestini fsestini merged commit 01e990d into herd:master Apr 27, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants