Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmv.NuSMVTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVTemplateTest410010.7222026-02-25T21:41:20cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.010
AndCrossExampleSuccess0.008
SingleLaneBridgeSuccess0.078
SingleEventMachineSuccess0.010
AbstractConcurrentSystemSuccess0.007
AbstractMachineSuccess0.003
DigitalWatchFlatSuccess0.019
nestedConcurrentMachineSuccess0.009
MultiLevelStateMachineExampleCase2Success0.004
GrantApplicationSuccess0.013
ExampleFileSuccess0.005
NestedMachineSuccess0.005
SimpleCaseOfNondeterminismSuccess0.004
myTemporaryTestSuccess0.035
NestedWatchSuccess0.023
BigStateMachineTestSuccess0.012
FileSkippedN/A

0.000
TestSuccess0.004
ExampleFile1Success0.004
ExampleFile2Success0.020
ElevatorSuccess0.015
ConstantTestSuccess0.004
CourseSectionSuccess0.006
AdaptiveCruiseControlWithTerminalStateSuccess0.072
AndCrossFromDeeplyNestedStateCase2Success0.008
EmptyStateMachineTestSuccess0.002
AndCrossFromDeeplyNestedStateSuccess0.008
ArbitraryExampleSuccess0.009
AdaptiveCruiseControlSystemSuccess0.125
MultiLevelStateMachineExampleSuccess0.004
FurnaceControlSystemSuccess0.035
EnhancedBitCounterSuccess0.008
RoomHeatingSystemSuccess0.063
CarTransmissionSuccess0.040
OutgoingTransitionOfConcurrentStateSuccess0.008
JavaDataTypesSuccess0.005
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.006
BigStateMachineWithNakedTransitionSuccess0.011
concurrentMachineExampleSuccess0.006
InputVariableTestSuccess0.005
avoidJunitErrorSuccess0.001
Properties »
System.out »