Name | Status | Type | Time(s) |
nestedStateTable | Success | | 0.034 |
guardedTransitionNestedStateTable | Success | | 0.028 |
concurrentTimerTransitionStateTableSameTimer | Success | | 0.024 |
autoTransitionStateTable | Success | | 0.019 |
concurrentSelfTransition | Success | | 0.030 |
concurrentWithTransitionsBetweenLocallyNestedStates | Success | | 0.028 |
transitionWithActionStateTable | Success | | 0.019 |
concurrentCrossAnd | Success | | 0.085 |
concurrentTransitionWithActionNestedStateTable | Success | | 0.027 |
guardedTransitionStateTable | Success | | 0.057 |
concurrentCrossDown | Success | | 0.038 |
concurrentCrossSide | Success | | 0.021 |
guardedTransitionDoublyNestedStateTable | Success | | 0.020 |
simpleStateTable | Success | | 0.004 |
concurrentAutoTransitionStateTable | Success | | 0.019 |
timerTransitionStateTable | Success | | 0.028 |
concurrentAlongsideNonConcurrentMultipleTransitionToSameStateWithGuardTransition | Success | | 0.033 |
concurrentCrossUp | Success | | 0.017 |
transitionWithActionNestedStateTable | Success | | 0.008 |
concurrentTimerTransitionStateTableDifferentTimer | Success | | 0.011 |
avoidJunitError | Success | | 0.001 |