Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmv.NuSMVTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVTemplateTest410010.8862024-12-07T02:43:10cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.012
AndCrossExampleSuccess0.011
SingleLaneBridgeSuccess0.101
SingleEventMachineSuccess0.006
AbstractConcurrentSystemSuccess0.008
AbstractMachineSuccess0.004
DigitalWatchFlatSuccess0.022
nestedConcurrentMachineSuccess0.009
MultiLevelStateMachineExampleCase2Success0.006
GrantApplicationSuccess0.016
ExampleFileSuccess0.006
NestedMachineSuccess0.007
SimpleCaseOfNondeterminismSuccess0.005
myTemporaryTestSuccess0.042
NestedWatchSuccess0.026
BigStateMachineTestSuccess0.015
FileSkippedN/A

0.000
TestSuccess0.006
ExampleFile1Success0.005
ExampleFile2Success0.015
ElevatorSuccess0.016
ConstantTestSuccess0.005
CourseSectionSuccess0.007
AdaptiveCruiseControlWithTerminalStateSuccess0.092
AndCrossFromDeeplyNestedStateCase2Success0.019
EmptyStateMachineTestSuccess0.002
AndCrossFromDeeplyNestedStateSuccess0.009
ArbitraryExampleSuccess0.013
AdaptiveCruiseControlSystemSuccess0.142
MultiLevelStateMachineExampleSuccess0.006
FurnaceControlSystemSuccess0.038
EnhancedBitCounterSuccess0.010
RoomHeatingSystemSuccess0.100
CarTransmissionSuccess0.037
OutgoingTransitionOfConcurrentStateSuccess0.008
JavaDataTypesSuccess0.006
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.009
BigStateMachineWithNakedTransitionSuccess0.016
concurrentMachineExampleSuccess0.011
InputVariableTestSuccess0.009
avoidJunitErrorSuccess0.003
Properties »
System.out »