Skip to content
This repository has been archived by the owner on Dec 12, 2023. It is now read-only.

Parallel states #52

Closed
matthewp opened this issue Jun 10, 2021 · 0 comments
Closed

Parallel states #52

matthewp opened this issue Jun 10, 2021 · 0 comments
Labels
enhancement New feature or request

Comments

@matthewp
Copy link
Collaborator

Probably through a modifier like with final/initial.

parallel machine File {

}
@matthewp matthewp added the enhancement New feature or request label Jun 10, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@matthewp