Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmv.NuSMVTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVTemplateTest410011.2252026-01-08T23:50:03cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.039
AndCrossExampleSuccess0.020
SingleLaneBridgeSuccess0.111
SingleEventMachineSuccess0.008
AbstractConcurrentSystemSuccess0.013
AbstractMachineSuccess0.006
DigitalWatchFlatSuccess0.024
nestedConcurrentMachineSuccess0.013
MultiLevelStateMachineExampleCase2Success0.008
GrantApplicationSuccess0.021
ExampleFileSuccess0.009
NestedMachineSuccess0.009
SimpleCaseOfNondeterminismSuccess0.007
myTemporaryTestSuccess0.043
NestedWatchSuccess0.032
BigStateMachineTestSuccess0.018
FileSkippedN/A

0.000
TestSuccess0.008
ExampleFile1Success0.009
ExampleFile2Success0.020
ElevatorSuccess0.019
ConstantTestSuccess0.008
CourseSectionSuccess0.011
AdaptiveCruiseControlWithTerminalStateSuccess0.117
AndCrossFromDeeplyNestedStateCase2Success0.016
EmptyStateMachineTestSuccess0.004
AndCrossFromDeeplyNestedStateSuccess0.013
ArbitraryExampleSuccess0.018
AdaptiveCruiseControlSystemSuccess0.184
MultiLevelStateMachineExampleSuccess0.009
FurnaceControlSystemSuccess0.067
EnhancedBitCounterSuccess0.016
RoomHeatingSystemSuccess0.094
CarTransmissionSuccess0.143
OutgoingTransitionOfConcurrentStateSuccess0.011
JavaDataTypesSuccess0.009
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.012
BigStateMachineWithNakedTransitionSuccess0.017
concurrentMachineExampleSuccess0.015
InputVariableTestSuccess0.009
avoidJunitErrorSuccess0.002
Properties »
System.out »