Fixes parallel transition conflict resolution#95
Merged
Conversation
Enhances the TransitionResolver to handle conflicts between transitions from parallel regions per SCXML specification. When multiple transitions are enabled from parallel regions with conflicting exit behavior (some exit the parallel state, others stay within), document order now determines the winner. Key improvements: - Two-phase conflict resolution: ancestor/descendant filtering + parallel conflicts - Exit set calculation to detect transitions that exit parallel regions - Document order resolution for conflicting parallel region transitions - SCXML-compliant transition selection for complex parallel scenarios This fixes parallel interrupt scenarios where transitions from different parallel regions compete, ensuring only the first in document order fires. Fixes 16 additional SCION parallel_interrupt tests including test1. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Codecov Report❌ Patch coverage is
🚀 New features to boost your workflow:
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Enhances the TransitionResolver to handle conflicts between transitions from parallel regions per SCXML specification. When multiple transitions are enabled from parallel regions with conflicting exit behavior (some exit the parallel state, others stay within), document order now determines the winner.
Key improvements:
This fixes parallel interrupt scenarios where transitions from different parallel regions compete, ensuring only the first in document order fires.
Fixes 16 additional SCION parallel_interrupt tests including test1.
🤖 Generated with Claude Code