-
assigned issue to
States with identical names are allowed
Issue #206
resolved
In this moment the user can have several states with identical names in a variable. I think we should consider whether this should be allowed or not.
Comments (2)
-
-
- changed status to resolved
Now the state name of a variable must not be empty and must be unique
- Log in to comment