Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmv.NuSMVTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVTemplateTest410010.7182026-05-10T19:45:17cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.010
AndCrossExampleSuccess0.014
SingleLaneBridgeSuccess0.080
SingleEventMachineSuccess0.003
AbstractConcurrentSystemSuccess0.004
AbstractMachineSuccess0.003
DigitalWatchFlatSuccess0.015
nestedConcurrentMachineSuccess0.007
MultiLevelStateMachineExampleCase2Success0.004
GrantApplicationSuccess0.011
ExampleFileSuccess0.004
NestedMachineSuccess0.005
SimpleCaseOfNondeterminismSuccess0.003
myTemporaryTestSuccess0.036
NestedWatchSuccess0.021
BigStateMachineTestSuccess0.011
FileSkippedN/A

0.000
TestSuccess0.004
ExampleFile1Success0.004
ExampleFile2Success0.010
ElevatorSuccess0.011
ConstantTestSuccess0.003
CourseSectionSuccess0.005
AdaptiveCruiseControlWithTerminalStateSuccess0.076
AndCrossFromDeeplyNestedStateCase2Success0.006
EmptyStateMachineTestSuccess0.002
AndCrossFromDeeplyNestedStateSuccess0.020
ArbitraryExampleSuccess0.019
AdaptiveCruiseControlSystemSuccess0.146
MultiLevelStateMachineExampleSuccess0.008
FurnaceControlSystemSuccess0.032
EnhancedBitCounterSuccess0.008
RoomHeatingSystemSuccess0.051
CarTransmissionSuccess0.031
OutgoingTransitionOfConcurrentStateSuccess0.006
JavaDataTypesSuccess0.005
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.011
BigStateMachineWithNakedTransitionSuccess0.011
concurrentMachineExampleSuccess0.005
InputVariableTestSuccess0.004
avoidJunitErrorSuccess0.000
Properties »
System.out »