Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmv.NuSMVTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVTemplateTest410010.7472026-08-04T18:53:49cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.008
AndCrossExampleSuccess0.020
SingleLaneBridgeSuccess0.150
SingleEventMachineSuccess0.006
AbstractConcurrentSystemSuccess0.007
AbstractMachineSuccess0.003
DigitalWatchFlatSuccess0.020
nestedConcurrentMachineSuccess0.009
MultiLevelStateMachineExampleCase2Success0.004
GrantApplicationSuccess0.013
ExampleFileSuccess0.004
NestedMachineSuccess0.004
SimpleCaseOfNondeterminismSuccess0.004
myTemporaryTestSuccess0.040
NestedWatchSuccess0.022
BigStateMachineTestSuccess0.012
FileSkippedN/A

0.000
TestSuccess0.004
ExampleFile1Success0.004
ExampleFile2Success0.011
ElevatorSuccess0.012
ConstantTestSuccess0.003
CourseSectionSuccess0.005
AdaptiveCruiseControlWithTerminalStateSuccess0.078
AndCrossFromDeeplyNestedStateCase2Success0.009
EmptyStateMachineTestSuccess0.001
AndCrossFromDeeplyNestedStateSuccess0.007
ArbitraryExampleSuccess0.010
AdaptiveCruiseControlSystemSuccess0.106
MultiLevelStateMachineExampleSuccess0.003
FurnaceControlSystemSuccess0.035
EnhancedBitCounterSuccess0.007
RoomHeatingSystemSuccess0.052
CarTransmissionSuccess0.022
OutgoingTransitionOfConcurrentStateSuccess0.005
JavaDataTypesSuccess0.004
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.006
BigStateMachineWithNakedTransitionSuccess0.008
concurrentMachineExampleSuccess0.019
InputVariableTestSuccess0.006
avoidJunitErrorSuccess0.001
Properties »
System.out »