brice-morin
commented
6 years ago Indeed. The check currently simply looks at states in isolation, without looking at the parent.
Closed ffleurey closed 6 years ago
brice-morin
commented
6 years ago Indeed. The check currently simply looks at states in isolation, without looking at the parent.
Not sure how elaborate we should make the checker or force to put "final" states when there are no transition out a a state but in this example since there are transition out of the parent state, it is not a sink state.