Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVOptimizerTemplateTest440010.6632022-12-03T21:54:19cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.014
AndCrossExampleSuccess0.008
SingleLaneBridgeSuccess0.040
FlatElevatorSuccess0.020
SingleEventMachineSuccess0.006
AbstractConcurrentSystemSuccess0.012
AbstractMachineSuccess0.006
DigitalWatchFlatSuccess0.039
nestedConcurrentMachineSuccess0.012
MultiLevelStateMachineExampleCase2Success0.004
GrantApplicationSuccess0.017
ExampleFileSuccess0.005
NestedMachineSuccess0.005
SimpleCaseOfNondeterminismSuccess0.006
myTemporaryTestSuccess0.036
NestedWatchSuccess0.022
BigStateMachineTestSuccess0.013
FlatSpecificFlightSuccess0.011
FileSkippedN/A

0.000
TestSuccess0.005
ExampleFile1Success0.005
ExampleFile2Success0.015
ElevatorSuccess0.020
ConstantTestSuccess0.005
SpecificFlightSuccess0.015
CourseSectionSuccess0.007
AdaptiveCruiseControlWithTerminalStateSuccess0.041
AndCrossFromDeeplyNestedStateCase2Success0.010
EmptyStateMachineTestSuccess0.003
AndCrossFromDeeplyNestedStateSuccess0.008
ArbitraryExampleSuccess0.013
AdaptiveCruiseControlSystemSuccess0.066
MultiLevelStateMachineExampleSuccess0.005
FurnaceControlSystemSuccess0.026
EnhancedBitCounterSuccess0.009
RoomHeatingSystemSuccess0.041
CarTransmissionSuccess0.039
OutgoingTransitionOfConcurrentStateSuccess0.007
JavaDataTypesSuccess0.006
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.007
BigStateMachineWithNakedTransitionSuccess0.012
concurrentMachineExampleSuccess0.006
InputVariableTestSuccess0.005
avoidJunitErrorSuccess0.001
Properties »
System.out »