Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVOptimizerTemplateTest440010.5292026-03-27T14:34:07cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.008
AndCrossExampleSuccess0.006
SingleLaneBridgeSuccess0.023
FlatElevatorSuccess0.011
SingleEventMachineSuccess0.004
AbstractConcurrentSystemSuccess0.005
AbstractMachineSuccess0.003
DigitalWatchFlatSuccess0.024
nestedConcurrentMachineSuccess0.006
MultiLevelStateMachineExampleCase2Success0.004
GrantApplicationSuccess0.012
ExampleFileSuccess0.005
NestedMachineSuccess0.004
SimpleCaseOfNondeterminismSuccess0.004
myTemporaryTestSuccess0.023
NestedWatchSuccess0.018
BigStateMachineTestSuccess0.012
FlatSpecificFlightSuccess0.009
FileSkippedN/A

0.000
TestSuccess0.004
ExampleFile1Success0.005
ExampleFile2Success0.019
ElevatorSuccess0.013
ConstantTestSuccess0.004
SpecificFlightSuccess0.008
CourseSectionSuccess0.005
AdaptiveCruiseControlWithTerminalStateSuccess0.032
AndCrossFromDeeplyNestedStateCase2Success0.009
EmptyStateMachineTestSuccess0.001
AndCrossFromDeeplyNestedStateSuccess0.007
ArbitraryExampleSuccess0.010
AdaptiveCruiseControlSystemSuccess0.067
MultiLevelStateMachineExampleSuccess0.009
FurnaceControlSystemSuccess0.031
EnhancedBitCounterSuccess0.009
RoomHeatingSystemSuccess0.034
CarTransmissionSuccess0.030
OutgoingTransitionOfConcurrentStateSuccess0.006
JavaDataTypesSuccess0.005
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.007
BigStateMachineWithNakedTransitionSuccess0.009
concurrentMachineExampleSuccess0.014
InputVariableTestSuccess0.004
avoidJunitErrorSuccess0.001
Properties »
System.out »