Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVOptimizerTemplateTest440010.5662026-02-03T19:06:56cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.007
AndCrossExampleSuccess0.007
SingleLaneBridgeSuccess0.039
FlatElevatorSuccess0.015
SingleEventMachineSuccess0.005
AbstractConcurrentSystemSuccess0.006
AbstractMachineSuccess0.004
DigitalWatchFlatSuccess0.020
nestedConcurrentMachineSuccess0.007
MultiLevelStateMachineExampleCase2Success0.004
GrantApplicationSuccess0.013
ExampleFileSuccess0.005
NestedMachineSuccess0.004
SimpleCaseOfNondeterminismSuccess0.004
myTemporaryTestSuccess0.023
NestedWatchSuccess0.030
BigStateMachineTestSuccess0.012
FlatSpecificFlightSuccess0.010
FileSkippedN/A

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