sml icon indicating copy to clipboard operation
sml copied to clipboard

transition_sg cannot be used to define an initial state

Open osmeest opened this issue 6 years ago • 0 comments

When one uses a transition rule like "*from [ guard ] = target", the compiler refuses because * is not defined on transition_sg. It seems like the initial state can only be specified on a rule like "*from + event".

osmeest avatar Dec 04 '19 10:12 osmeest