Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVOptimizerTemplateTest440010.9092023-08-05T02:02:28cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.011
AndCrossExampleSuccess0.009
SingleLaneBridgeSuccess0.031
FlatElevatorSuccess0.018
SingleEventMachineSuccess0.008
AbstractConcurrentSystemSuccess0.009
AbstractMachineSuccess0.006
DigitalWatchFlatSuccess0.022
nestedConcurrentMachineSuccess0.009
MultiLevelStateMachineExampleCase2Success0.006
GrantApplicationSuccess0.017
ExampleFileSuccess0.067
NestedMachineSuccess0.015
SimpleCaseOfNondeterminismSuccess0.007
myTemporaryTestSuccess0.028
NestedWatchSuccess0.024
BigStateMachineTestSuccess0.016
FlatSpecificFlightSuccess0.013
FileSkippedN/A

0.000
TestSuccess0.012
ExampleFile1Success0.016
ExampleFile2Success0.019
ElevatorSuccess0.017
ConstantTestSuccess0.007
SpecificFlightSuccess0.013
CourseSectionSuccess0.008
AdaptiveCruiseControlWithTerminalStateSuccess0.072
AndCrossFromDeeplyNestedStateCase2Success0.113
EmptyStateMachineTestSuccess0.003
AndCrossFromDeeplyNestedStateSuccess0.010
ArbitraryExampleSuccess0.014
AdaptiveCruiseControlSystemSuccess0.065
MultiLevelStateMachineExampleSuccess0.007
FurnaceControlSystemSuccess0.029
EnhancedBitCounterSuccess0.012
RoomHeatingSystemSuccess0.038
CarTransmissionSuccess0.041
OutgoingTransitionOfConcurrentStateSuccess0.016
JavaDataTypesSuccess0.008
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.011
BigStateMachineWithNakedTransitionSuccess0.016
concurrentMachineExampleSuccess0.010
InputVariableTestSuccess0.025
avoidJunitErrorSuccess0.002
Properties »
System.out »