Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmv.NuSMVTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVTemplateTest410010.8502023-05-04T13:53:47cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.011
AndCrossExampleSuccess0.010
SingleLaneBridgeSuccess0.089
SingleEventMachineSuccess0.005
AbstractConcurrentSystemSuccess0.007
AbstractMachineSuccess0.004
DigitalWatchFlatSuccess0.021
nestedConcurrentMachineSuccess0.009
MultiLevelStateMachineExampleCase2Success0.005
GrantApplicationSuccess0.016
ExampleFileSuccess0.006
NestedMachineSuccess0.005
SimpleCaseOfNondeterminismSuccess0.004
myTemporaryTestSuccess0.040
NestedWatchSuccess0.028
BigStateMachineTestSuccess0.015
FileSkippedN/A

0.001
TestSuccess0.005
ExampleFile1Success0.006
ExampleFile2Success0.015
ElevatorSuccess0.017
ConstantTestSuccess0.005
CourseSectionSuccess0.007
AdaptiveCruiseControlWithTerminalStateSuccess0.141
AndCrossFromDeeplyNestedStateCase2Success0.009
EmptyStateMachineTestSuccess0.002
AndCrossFromDeeplyNestedStateSuccess0.008
ArbitraryExampleSuccess0.011
AdaptiveCruiseControlSystemSuccess0.134
MultiLevelStateMachineExampleSuccess0.005
FurnaceControlSystemSuccess0.038
EnhancedBitCounterSuccess0.009
RoomHeatingSystemSuccess0.066
CarTransmissionSuccess0.034
OutgoingTransitionOfConcurrentStateSuccess0.008
JavaDataTypesSuccess0.006
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.008
BigStateMachineWithNakedTransitionSuccess0.013
concurrentMachineExampleSuccess0.010
InputVariableTestSuccess0.006
avoidJunitErrorSuccess0.002
Properties »
System.out »