eclipsesource / eclipsesource/papyrus-seqd
[Cut & Paste:008]: Copy and Paste State Invariant
Open
copy&paste
prio_medium
- Dominant language
- Java
- Stars
- 1
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
It SHALL be possible to make a copy of a state invariant.
A lifeline matching the state invariant covered lifeline MUST exist on the target location.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.