Name | Status | Type | Time(s) |
nestedStateTable | Success | | 0.052 |
guardedTransitionNestedStateTable | Success | | 0.037 |
concurrentTimerTransitionStateTableSameTimer | Success | | 0.024 |
autoTransitionStateTable | Success | | 0.128 |
concurrentSelfTransition | Success | | 0.064 |
concurrentWithTransitionsBetweenLocallyNestedStates | Success | | 0.032 |
transitionWithActionStateTable | Success | | 0.036 |
concurrentCrossAnd | Success | | 0.069 |
concurrentTransitionWithActionNestedStateTable | Success | | 0.012 |
guardedTransitionStateTable | Success | | 0.015 |
concurrentCrossDown | Success | | 0.048 |
concurrentCrossSide | Success | | 0.028 |
guardedTransitionDoublyNestedStateTable | Success | | 0.014 |
simpleStateTable | Success | | 0.005 |
concurrentAutoTransitionStateTable | Skipped | N/A
| 0.000 |
timerTransitionStateTable | Success | | 0.054 |
concurrentAlongsideNonConcurrentMultipleTransitionToSameStateWithGuardTransition | Success | | 0.025 |
concurrentCrossUp | Success | | 0.026 |
transitionWithActionNestedStateTable | Success | | 0.087 |
concurrentTimerTransitionStateTableDifferentTimer | Success | | 0.028 |
avoidJunitError | Success | | 0.001 |