Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmv.NuSMVTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVTemplateTest410010.5972026-05-04T18:45:43cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.008
AndCrossExampleSuccess0.007
SingleLaneBridgeSuccess0.073
SingleEventMachineSuccess0.003
AbstractConcurrentSystemSuccess0.005
AbstractMachineSuccess0.003
DigitalWatchFlatSuccess0.015
nestedConcurrentMachineSuccess0.006
MultiLevelStateMachineExampleCase2Success0.003
GrantApplicationSuccess0.014
ExampleFileSuccess0.003
NestedMachineSuccess0.004
SimpleCaseOfNondeterminismSuccess0.003
myTemporaryTestSuccess0.034
NestedWatchSuccess0.020
BigStateMachineTestSuccess0.011
FileSkippedN/A

0.000
TestSuccess0.003
ExampleFile1Success0.003
ExampleFile2Success0.010
ElevatorSuccess0.012
ConstantTestSuccess0.003
CourseSectionSuccess0.005
AdaptiveCruiseControlWithTerminalStateSuccess0.067
AndCrossFromDeeplyNestedStateCase2Success0.007
EmptyStateMachineTestSuccess0.001
AndCrossFromDeeplyNestedStateSuccess0.006
ArbitraryExampleSuccess0.008
AdaptiveCruiseControlSystemSuccess0.101
MultiLevelStateMachineExampleSuccess0.004
FurnaceControlSystemSuccess0.027
EnhancedBitCounterSuccess0.007
RoomHeatingSystemSuccess0.051
CarTransmissionSuccess0.029
OutgoingTransitionOfConcurrentStateSuccess0.006
JavaDataTypesSuccess0.004
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.006
BigStateMachineWithNakedTransitionSuccess0.009
concurrentMachineExampleSuccess0.005
InputVariableTestSuccess0.004
avoidJunitErrorSuccess0.001
Properties »
System.out »