Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmv.NuSMVTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVTemplateTest410010.9272024-03-17T20:03:58cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.012
AndCrossExampleSuccess0.011
SingleLaneBridgeSuccess0.106
SingleEventMachineSuccess0.007
AbstractConcurrentSystemSuccess0.009
AbstractMachineSuccess0.005
DigitalWatchFlatSuccess0.023
nestedConcurrentMachineSuccess0.010
MultiLevelStateMachineExampleCase2Success0.007
GrantApplicationSuccess0.017
ExampleFileSuccess0.007
NestedMachineSuccess0.008
SimpleCaseOfNondeterminismSuccess0.006
myTemporaryTestSuccess0.045
NestedWatchSuccess0.030
BigStateMachineTestSuccess0.024
FileSkippedN/A

0.000
TestSuccess0.007
ExampleFile1Success0.007
ExampleFile2Success0.025
ElevatorSuccess0.023
ConstantTestSuccess0.006
CourseSectionSuccess0.008
AdaptiveCruiseControlWithTerminalStateSuccess0.092
AndCrossFromDeeplyNestedStateCase2Success0.012
EmptyStateMachineTestSuccess0.004
AndCrossFromDeeplyNestedStateSuccess0.013
ArbitraryExampleSuccess0.014
AdaptiveCruiseControlSystemSuccess0.141
MultiLevelStateMachineExampleSuccess0.007
FurnaceControlSystemSuccess0.050
EnhancedBitCounterSuccess0.012
RoomHeatingSystemSuccess0.071
CarTransmissionSuccess0.038
OutgoingTransitionOfConcurrentStateSuccess0.010
JavaDataTypesSuccess0.009
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.011
BigStateMachineWithNakedTransitionSuccess0.016
concurrentMachineExampleSuccess0.009
InputVariableTestSuccess0.008
avoidJunitErrorSuccess0.001
Properties »
System.out »