Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmv.NuSMVTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVTemplateTest410010.7342026-06-22T19:16:59cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.009
AndCrossExampleSuccess0.007
SingleLaneBridgeSuccess0.069
SingleEventMachineSuccess0.004
AbstractConcurrentSystemSuccess0.006
AbstractMachineSuccess0.002
DigitalWatchFlatSuccess0.018
nestedConcurrentMachineSuccess0.006
MultiLevelStateMachineExampleCase2Success0.004
GrantApplicationSuccess0.012
ExampleFileSuccess0.004
NestedMachineSuccess0.004
SimpleCaseOfNondeterminismSuccess0.008
myTemporaryTestSuccess0.033
NestedWatchSuccess0.022
BigStateMachineTestSuccess0.012
FileSkippedN/A

0.000
TestSuccess0.004
ExampleFile1Success0.004
ExampleFile2Success0.011
ElevatorSuccess0.012
ConstantTestSuccess0.003
CourseSectionSuccess0.005
AdaptiveCruiseControlWithTerminalStateSuccess0.075
AndCrossFromDeeplyNestedStateCase2Success0.007
EmptyStateMachineTestSuccess0.001
AndCrossFromDeeplyNestedStateSuccess0.007
ArbitraryExampleSuccess0.009
AdaptiveCruiseControlSystemSuccess0.116
MultiLevelStateMachineExampleSuccess0.004
FurnaceControlSystemSuccess0.030
EnhancedBitCounterSuccess0.008
RoomHeatingSystemSuccess0.052
CarTransmissionSuccess0.065
OutgoingTransitionOfConcurrentStateSuccess0.018
JavaDataTypesSuccess0.014
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.013
BigStateMachineWithNakedTransitionSuccess0.031
concurrentMachineExampleSuccess0.010
InputVariableTestSuccess0.007
avoidJunitErrorSuccess0.001
Properties »
System.out »