Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVOptimizerTemplateTest440010.6912023-03-16T22:10:06cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.011
AndCrossExampleSuccess0.009
SingleLaneBridgeSuccess0.031
FlatElevatorSuccess0.016
SingleEventMachineSuccess0.010
AbstractConcurrentSystemSuccess0.008
AbstractMachineSuccess0.005
DigitalWatchFlatSuccess0.022
nestedConcurrentMachineSuccess0.009
MultiLevelStateMachineExampleCase2Success0.006
GrantApplicationSuccess0.016
ExampleFileSuccess0.007
NestedMachineSuccess0.007
SimpleCaseOfNondeterminismSuccess0.006
myTemporaryTestSuccess0.030
NestedWatchSuccess0.027
BigStateMachineTestSuccess0.017
FlatSpecificFlightSuccess0.012
FileSkippedN/A

0.000
TestSuccess0.010
ExampleFile1Success0.006
ExampleFile2Success0.016
ElevatorSuccess0.016
ConstantTestSuccess0.007
SpecificFlightSuccess0.014
CourseSectionSuccess0.009
AdaptiveCruiseControlWithTerminalStateSuccess0.036
AndCrossFromDeeplyNestedStateCase2Success0.011
EmptyStateMachineTestSuccess0.004
AndCrossFromDeeplyNestedStateSuccess0.011
ArbitraryExampleSuccess0.013
AdaptiveCruiseControlSystemSuccess0.074
MultiLevelStateMachineExampleSuccess0.008
FurnaceControlSystemSuccess0.028
EnhancedBitCounterSuccess0.010
RoomHeatingSystemSuccess0.041
CarTransmissionSuccess0.051
OutgoingTransitionOfConcurrentStateSuccess0.017
JavaDataTypesSuccess0.008
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.011
BigStateMachineWithNakedTransitionSuccess0.014
concurrentMachineExampleSuccess0.008
InputVariableTestSuccess0.007
avoidJunitErrorSuccess0.001
Properties »
System.out »