Details
-
Bug
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
2.0
-
None
Description
The current legal state configuration check in ModelUpdater where it validates if transition targets turns out to be too simplistic, e.g. not covering all allowed configurations as specified in http://www.w3.org/TR/scxml/#LegalStateConfigurations.
The current implementation assumes the least common parallel ancestor is the root state, while it also is legal to have this parallel on a deeper level.
I'll add a few unit tests and fix the implementation to be more compliant with the specification.