| Name | Status | Type | Time(s) |
| activeBlock_MultiLanguagePositions | Success | | 0.003 |
| sameEvent_TwoStates | Success | | 0.003 |
| twoState_StateMachineGraph_BFS | Success | | 0.002 |
| twoState_StateMachineGraph_DFS | Success | | 0.002 |
| stateMachine_unspecifiedReception | Success | | 0.002 |
| walkGraphTwice_StateMachineGraph_ClearNodes | Success | | 0.003 |
| nested_StateMachineGraph_ClearNodes | Success | | 0.003 |
| handleBooleanValueComparisonGuard | Success | | 0.007 |
| twoStateMachinesSameEvent | Success | | 0.002 |
| transitionAction | Success | | 0.001 |
| finalState | Success | | 0.001 |
| Nested_TwoStatesComplex | Success | | 0.002 |
| queuedStateMachine_pooledStateMachine_noEvents | Success | | 0.005 |
| activeBlock_NamingOverMultiClasses | Success | | 0.003 |
| emptyAndNonEmptyStates | Success | | 0.002 |
| conflictingAutoTransitionsToStatesNested | Success | | 0.002 |
| Nested_realExample2 | Success | | 0.003 |
| eventWithArgument | Success | | 0.005 |
| unreachableState_StateMachineGraph_BFS | Success | | 0.001 |
| unreachableState_StateMachineGraph_DFS | Success | | 0.001 |
| Concurrent_OneSm | Success | | 0.002 |
| Concurrent_TwoSm | Success | | 0.002 |
| stateNameIsFinal | Success | | 0.002 |
| oneStateNoEventStateMachine | Success | | 0.000 |
| oneState_StateMachineGraph_BFS | Success | | 0.001 |
| oneState_StateMachineGraph_DFS | Success | | 0.001 |
| stateMachineComments | Success | | 0.002 |
| activeBlock_ActivityPositions | Success | | 0.002 |
| smAfterWithGuard | Success | | 0.009 |
| eventsWithInconsistentArguments | Success | | 0.004 |
| activeBlock_supportingLanguageSpecific | Success | | 0.001 |
| pooledStateMachines_and_EmptyRegularStateMachine | Success | | 0.002 |
| concurrentFinals | Success | | 0.002 |
| dotNotationInvalid | Success | | 0.004 |
| handleBangInGuard2 | Success | | 0.280 |
| addEvent | Success | | 0.002 |
| c6_StateMachineGraph_ClearNodes | Success | | 0.003 |
| transitionNextState | Success | | 0.002 |
| c6_StateMachineGraph_BFS | Success | | 0.003 |
| c6_StateMachineGraph_DFS | Success | | 0.003 |
| activeBlock | Success | | 0.001 |
| finalStateWithAction | Success | | 0.003 |
| Nested_oneState | Success | | 0.001 |
| transitionWithInvalidGuard | Success | | 0.002 |
| finalStateReservedWord | Success | | 0.001 |
| invalidHistoryStateTransition | Success | | 0.006 |
| dotNotationAtLevelAbove | Success | | 0.003 |
| stateWithInvalidName | Success | | 0.017 |
| nullStartState_StateMachineGraph_DFS | Success | | 0.000 |
| oneStateOneGuardBefore | Success | | 0.002 |
| semicolonStateMachine | Success | | 0.002 |
| queuedStateMachines_and_EmptyRegularStateMachine | Success | | 0.002 |
| nested_StateMachineGraph_BFS | Success | | 0.003 |
| nested_StateMachineGraph_DFS | Success | | 0.003 |
| transitionToUnknownState | Success | | 0.004 |
| oneStateOneExit | Success | | 0.001 |
| doubleNested_twoLevels_StateMachineGraph_ClearNodes | Success | | 0.018 |
| finalStateInOneConcurrentRegion | Success | | 0.002 |
| removeEvent | Success | | 0.003 |
| conflictingAutoTransitionsToStatesAfterDo | Success | | 0.002 |
| OnOffTimer | Success | | 0.002 |
| oneStateManyEntry | Success | | 0.002 |
| removeState | Success | | 0.001 |
| twoStateLoop_StateMachineGraph_BFS | Success | | 0.001 |
| twoStateLoop_StateMachineGraph_DFS | Success | | 0.001 |
| doubleNested_twoLevels_StateMachineGraph_BFS | Success | | 0.017 |
| doubleNested_twoLevels_StateMachineGraph_DFS | Success | | 0.018 |
| autoTransition_existingEntryAction | Success | | 0.001 |
| mixStateMachine | Success | | 0.015 |
| stateMachineDefinition | Success | | 0.001 |
| pooledStateMachine_UnspecifiedReception | Success | | 0.002 |
| twoStateNoEventStateMachine | Success | | 0.001 |
| transitionWithGuardAndAction | Success | | 0.003 |
| verifyDuplicateGuards | Success | | 0.015 |
| doubleNested_StateMachineGraph_BFS | Success | | 0.020 |
| doubleNested_StateMachineGraph_DFS | Success | | 0.018 |
| handleBangInGuard | Success | | 0.003 |
| Nested_TwoStates | Success | | 0.002 |
| tree_StateMachineGraph_BFS | Success | | 0.003 |
| tree_StateMachineGraph_DFS | Success | | 0.003 |
| stateMachineManyTransitionsToUndefinedStates | Success | | 0.002 |
| stateMachineDefinition_reference | Success | | 0.002 |
| reusingEventsInNestedStateMachines | Success | | 0.001 |
| duplicateEvents | Success | | 0.024 |
| standAloneTransitions | Success | | 0.011 |
| duplicateParallelStateMachineName | Success | | 0.007 |
| dotNotationAtSameLevel | Success | | 0.002 |
| transitionAfterDo | Success | | 0.002 |
| finalStateNoAction | Success | | 0.003 |
| testOfNotTwoOrMoreTypesOFStateMachineInSameClass | Success | | 0.008 |
| ordering_StateMachineGraph_BFS | Success | | 0.002 |
| ordering_StateMachineGraph_DFS | Success | | 0.002 |
| nonReachableState | Success | | 0.087 |
| multipleDoActivity | Success | | 0.006 |
| pooledStateMachine | Success | | 0.005 |
| queuedStateMachine | Success | | 0.004 |
| unclearTransitionToState | Success | | 0.005 |
| conflictingAutoTransitionsToStates | Success | | 0.003 |
| Concurrent_NoSm | Success | | 0.002 |
| unclearTransitionToStateNested | Success | | 0.006 |
| handleBangInAttribute | Success | | 0.006 |
| guardsOnEntryAndExit | Success | | 0.005 |
| k5_StateMachineGraph_BFS | Success | | 0.008 |
| k5_StateMachineGraph_DFS | Success | | 0.008 |
| stateMachineWithInvalidName | Success | | 0.037 |
| doActivity | Success | | 0.002 |
| k5_StateMachineGraph_ClearNodes | Success | | 0.007 |
| autoTransition_guard | Success | | 0.004 |
| finalStateInTwoConcurrentRegions | Success | | 0.004 |
| refactorFinalState | Success | | 0.021 |
| oneStateTwoEvent | Success | | 0.002 |
| autoTransition_simple | Success | | 0.009 |
| oneStateOneEntry | Success | | 0.002 |
| oneStateOneEvent | Success | | 0.002 |
| historyStatePlacement | Success | | 0.006 |
| timedTransictionFollowedByTransiction | Success | | 0.037 |
| malformedStateMachine | Success | | 0.027 |
| reuseEvents | Success | | 0.002 |
| transitionsWithUndeclaredState | Success | | 0.023 |
| startNode_StateMachineGraph_ClearNodes | Success | | 0.001 |
| oneStateOneGuardAfter | Success | | 0.003 |
| oneState_StateMachine | Success | | 0.002 |