Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVOptimizerTemplateTest440011.8812026-09-30T16:08:45cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.006
AndCrossExampleSuccess0.006
SingleLaneBridgeSuccess0.040
FlatElevatorSuccess0.539
SingleEventMachineSuccess0.049
AbstractConcurrentSystemSuccess0.010
AbstractMachineSuccess0.021
DigitalWatchFlatSuccess0.033
nestedConcurrentMachineSuccess0.347
MultiLevelStateMachineExampleCase2Success0.400
GrantApplicationSuccess0.058
ExampleFileSuccess0.013
NestedMachineSuccess0.003
SimpleCaseOfNondeterminismSuccess0.009
myTemporaryTestSuccess0.025
NestedWatchSuccess0.017
BigStateMachineTestSuccess0.017
FlatSpecificFlightSuccess0.012
FileSkippedN/A

0.000
TestSuccess0.013
ExampleFile1Success0.004
ExampleFile2Success0.009
ElevatorSuccess0.007
ConstantTestSuccess0.004
SpecificFlightSuccess0.005
CourseSectionSuccess0.004
AdaptiveCruiseControlWithTerminalStateSuccess0.026
AndCrossFromDeeplyNestedStateCase2Success0.006
EmptyStateMachineTestSuccess0.001
AndCrossFromDeeplyNestedStateSuccess0.005
ArbitraryExampleSuccess0.006
AdaptiveCruiseControlSystemSuccess0.041
MultiLevelStateMachineExampleSuccess0.004
FurnaceControlSystemSuccess0.014
EnhancedBitCounterSuccess0.005
RoomHeatingSystemSuccess0.023
CarTransmissionSuccess0.023
OutgoingTransitionOfConcurrentStateSuccess0.016
JavaDataTypesSuccess0.004
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.011
BigStateMachineWithNakedTransitionSuccess0.009
concurrentMachineExampleSuccess0.015
InputVariableTestSuccess0.016
avoidJunitErrorSuccess0.000
Properties »
System.out »