Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmv.NuSMVTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVTemplateTest410010.7762026-03-27T14:34:06cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.009
AndCrossExampleSuccess0.009
SingleLaneBridgeSuccess0.073
SingleEventMachineSuccess0.005
AbstractConcurrentSystemSuccess0.023
AbstractMachineSuccess0.004
DigitalWatchFlatSuccess0.041
nestedConcurrentMachineSuccess0.010
MultiLevelStateMachineExampleCase2Success0.006
GrantApplicationSuccess0.016
ExampleFileSuccess0.005
NestedMachineSuccess0.007
SimpleCaseOfNondeterminismSuccess0.005
myTemporaryTestSuccess0.038
NestedWatchSuccess0.022
BigStateMachineTestSuccess0.013
FileSkippedN/A

0.000
TestSuccess0.004
ExampleFile1Success0.004
ExampleFile2Success0.019
ElevatorSuccess0.016
ConstantTestSuccess0.005
CourseSectionSuccess0.007
AdaptiveCruiseControlWithTerminalStateSuccess0.079
AndCrossFromDeeplyNestedStateCase2Success0.008
EmptyStateMachineTestSuccess0.002
AndCrossFromDeeplyNestedStateSuccess0.007
ArbitraryExampleSuccess0.010
AdaptiveCruiseControlSystemSuccess0.123
MultiLevelStateMachineExampleSuccess0.004
FurnaceControlSystemSuccess0.031
EnhancedBitCounterSuccess0.008
RoomHeatingSystemSuccess0.081
CarTransmissionSuccess0.030
OutgoingTransitionOfConcurrentStateSuccess0.008
JavaDataTypesSuccess0.006
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.007
BigStateMachineWithNakedTransitionSuccess0.012
concurrentMachineExampleSuccess0.006
InputVariableTestSuccess0.005
avoidJunitErrorSuccess0.001
Properties »
System.out »