Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmv.NuSMVTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVTemplateTest410010.9282022-05-06T15:59:31cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.018
AndCrossExampleSuccess0.015
SingleLaneBridgeSuccess0.122
SingleEventMachineSuccess0.008
AbstractConcurrentSystemSuccess0.007
AbstractMachineSuccess0.004
DigitalWatchFlatSuccess0.021
nestedConcurrentMachineSuccess0.009
MultiLevelStateMachineExampleCase2Success0.005
GrantApplicationSuccess0.015
ExampleFileSuccess0.005
NestedMachineSuccess0.006
SimpleCaseOfNondeterminismSuccess0.005
myTemporaryTestSuccess0.044
NestedWatchSuccess0.027
BigStateMachineTestSuccess0.016
FileSkippedN/A

0.000
TestSuccess0.006
ExampleFile1Success0.007
ExampleFile2Success0.016
ElevatorSuccess0.016
ConstantTestSuccess0.005
CourseSectionSuccess0.006
AdaptiveCruiseControlWithTerminalStateSuccess0.139
AndCrossFromDeeplyNestedStateCase2Success0.010
EmptyStateMachineTestSuccess0.002
AndCrossFromDeeplyNestedStateSuccess0.009
ArbitraryExampleSuccess0.012
AdaptiveCruiseControlSystemSuccess0.147
MultiLevelStateMachineExampleSuccess0.005
FurnaceControlSystemSuccess0.038
EnhancedBitCounterSuccess0.010
RoomHeatingSystemSuccess0.076
CarTransmissionSuccess0.037
OutgoingTransitionOfConcurrentStateSuccess0.008
JavaDataTypesSuccess0.006
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.009
BigStateMachineWithNakedTransitionSuccess0.014
concurrentMachineExampleSuccess0.007
InputVariableTestSuccess0.005
avoidJunitErrorSuccess0.002
Properties »
System.out »