Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVOptimizerTemplateTest440010.8412026-11-01T14:51:22cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.073
AndCrossExampleSuccess0.005
SingleLaneBridgeSuccess0.110
FlatElevatorSuccess0.134
SingleEventMachineSuccess0.004
AbstractConcurrentSystemSuccess0.005
AbstractMachineSuccess0.004
DigitalWatchFlatSuccess0.016
nestedConcurrentMachineSuccess0.020
MultiLevelStateMachineExampleCase2Success0.028
GrantApplicationSuccess0.038
ExampleFileSuccess0.004
NestedMachineSuccess0.004
SimpleCaseOfNondeterminismSuccess0.009
myTemporaryTestSuccess0.034
NestedWatchSuccess0.030
BigStateMachineTestSuccess0.027
FlatSpecificFlightSuccess0.037
FileSkippedN/A

0.000
TestSuccess0.004
ExampleFile1Success0.004
ExampleFile2Success0.008
ElevatorSuccess0.008
ConstantTestSuccess0.005
SpecificFlightSuccess0.006
CourseSectionSuccess0.011
AdaptiveCruiseControlWithTerminalStateSuccess0.016
AndCrossFromDeeplyNestedStateCase2Success0.006
EmptyStateMachineTestSuccess0.001
AndCrossFromDeeplyNestedStateSuccess0.005
ArbitraryExampleSuccess0.007
AdaptiveCruiseControlSystemSuccess0.034
MultiLevelStateMachineExampleSuccess0.004
FurnaceControlSystemSuccess0.021
EnhancedBitCounterSuccess0.008
RoomHeatingSystemSuccess0.028
CarTransmissionSuccess0.023
OutgoingTransitionOfConcurrentStateSuccess0.005
JavaDataTypesSuccess0.005
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.025
BigStateMachineWithNakedTransitionSuccess0.010
concurrentMachineExampleSuccess0.006
InputVariableTestSuccess0.004
avoidJunitErrorSuccess0.000
Properties »
System.out »