Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVOptimizerTemplateTest440010.5722026-08-04T18:53:50cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.015
AndCrossExampleSuccess0.009
SingleLaneBridgeSuccess0.035
FlatElevatorSuccess0.015
SingleEventMachineSuccess0.005
AbstractConcurrentSystemSuccess0.006
AbstractMachineSuccess0.004
DigitalWatchFlatSuccess0.023
nestedConcurrentMachineSuccess0.006
MultiLevelStateMachineExampleCase2Success0.004
GrantApplicationSuccess0.016
ExampleFileSuccess0.004
NestedMachineSuccess0.005
SimpleCaseOfNondeterminismSuccess0.004
myTemporaryTestSuccess0.029
NestedWatchSuccess0.019
BigStateMachineTestSuccess0.010
FlatSpecificFlightSuccess0.008
FileSkippedN/A

0.000
TestSuccess0.004
ExampleFile1Success0.004
ExampleFile2Success0.009
ElevatorSuccess0.010
ConstantTestSuccess0.003
SpecificFlightSuccess0.007
CourseSectionSuccess0.005
AdaptiveCruiseControlWithTerminalStateSuccess0.022
AndCrossFromDeeplyNestedStateCase2Success0.013
EmptyStateMachineTestSuccess0.001
AndCrossFromDeeplyNestedStateSuccess0.006
ArbitraryExampleSuccess0.008
AdaptiveCruiseControlSystemSuccess0.048
MultiLevelStateMachineExampleSuccess0.004
FurnaceControlSystemSuccess0.021
EnhancedBitCounterSuccess0.007
RoomHeatingSystemSuccess0.079
CarTransmissionSuccess0.052
OutgoingTransitionOfConcurrentStateSuccess0.008
JavaDataTypesSuccess0.006
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.009
BigStateMachineWithNakedTransitionSuccess0.012
concurrentMachineExampleSuccess0.006
InputVariableTestSuccess0.004
avoidJunitErrorSuccess0.001
Properties »
System.out »