Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmv.NuSMVTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVTemplateTest410010.7602026-02-03T19:06:56cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.013
AndCrossExampleSuccess0.010
SingleLaneBridgeSuccess0.129
SingleEventMachineSuccess0.007
AbstractConcurrentSystemSuccess0.009
AbstractMachineSuccess0.004
DigitalWatchFlatSuccess0.024
nestedConcurrentMachineSuccess0.009
MultiLevelStateMachineExampleCase2Success0.005
GrantApplicationSuccess0.015
ExampleFileSuccess0.005
NestedMachineSuccess0.005
SimpleCaseOfNondeterminismSuccess0.005
myTemporaryTestSuccess0.036
NestedWatchSuccess0.027
BigStateMachineTestSuccess0.013
FileSkippedN/A

0.000
TestSuccess0.005
ExampleFile1Success0.004
ExampleFile2Success0.012
ElevatorSuccess0.014
ConstantTestSuccess0.003
CourseSectionSuccess0.005
AdaptiveCruiseControlWithTerminalStateSuccess0.073
AndCrossFromDeeplyNestedStateCase2Success0.008
EmptyStateMachineTestSuccess0.001
AndCrossFromDeeplyNestedStateSuccess0.008
ArbitraryExampleSuccess0.014
AdaptiveCruiseControlSystemSuccess0.111
MultiLevelStateMachineExampleSuccess0.004
FurnaceControlSystemSuccess0.031
EnhancedBitCounterSuccess0.015
RoomHeatingSystemSuccess0.061
CarTransmissionSuccess0.026
OutgoingTransitionOfConcurrentStateSuccess0.006
JavaDataTypesSuccess0.005
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.007
BigStateMachineWithNakedTransitionSuccess0.011
concurrentMachineExampleSuccess0.006
InputVariableTestSuccess0.005
avoidJunitErrorSuccess0.000
Properties »
System.out »