Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVOptimizerTemplateTest440010.5892024-01-25T21:27:25cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.009
AndCrossExampleSuccess0.008
SingleLaneBridgeSuccess0.029
FlatElevatorSuccess0.014
SingleEventMachineSuccess0.005
AbstractConcurrentSystemSuccess0.007
AbstractMachineSuccess0.004
DigitalWatchFlatSuccess0.021
nestedConcurrentMachineSuccess0.008
MultiLevelStateMachineExampleCase2Success0.004
GrantApplicationSuccess0.014
ExampleFileSuccess0.005
NestedMachineSuccess0.005
SimpleCaseOfNondeterminismSuccess0.008
myTemporaryTestSuccess0.028
NestedWatchSuccess0.022
BigStateMachineTestSuccess0.013
FlatSpecificFlightSuccess0.012
FileSkippedN/A

0.000
TestSuccess0.006
ExampleFile1Success0.005
ExampleFile2Success0.015
ElevatorSuccess0.014
ConstantTestSuccess0.004
SpecificFlightSuccess0.010
CourseSectionSuccess0.007
AdaptiveCruiseControlWithTerminalStateSuccess0.032
AndCrossFromDeeplyNestedStateCase2Success0.010
EmptyStateMachineTestSuccess0.002
AndCrossFromDeeplyNestedStateSuccess0.008
ArbitraryExampleSuccess0.012
AdaptiveCruiseControlSystemSuccess0.067
MultiLevelStateMachineExampleSuccess0.005
FurnaceControlSystemSuccess0.028
EnhancedBitCounterSuccess0.015
RoomHeatingSystemSuccess0.039
CarTransmissionSuccess0.036
OutgoingTransitionOfConcurrentStateSuccess0.007
JavaDataTypesSuccess0.006
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.008
BigStateMachineWithNakedTransitionSuccess0.012
concurrentMachineExampleSuccess0.007
InputVariableTestSuccess0.006
avoidJunitErrorSuccess0.001
Properties »
System.out »