Name | Status | Type | Time(s) |
nestedStateTable | Success | | 0.006 |
guardedTransitionNestedStateTable | Success | | 0.005 |
autoTransitionStateTable | Success | | 0.003 |
transitionWithActionStateTable | Success | | 0.003 |
guardedTransitionStateTable | Success | | 0.004 |
guardedTransitionDoublyNestedStateTable | Success | | 0.005 |
simpleStateTable | Success | | 0.002 |
timerTransitionStateTable | Success | | 0.004 |
transitionWithActionNestedStateTable | Success | | 0.004 |
avoidJunitError | Success | | 0.001 |