Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVOptimizerTemplateTest440010.4582026-05-04T18:45:44cruise

Tests

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

0.000
TestSuccess0.004
ExampleFile1Success0.004
ExampleFile2Success0.010
ElevatorSuccess0.016
ConstantTestSuccess0.003
SpecificFlightSuccess0.008
CourseSectionSuccess0.005
AdaptiveCruiseControlWithTerminalStateSuccess0.024
AndCrossFromDeeplyNestedStateCase2Success0.007
EmptyStateMachineTestSuccess0.001
AndCrossFromDeeplyNestedStateSuccess0.006
ArbitraryExampleSuccess0.009
AdaptiveCruiseControlSystemSuccess0.063
MultiLevelStateMachineExampleSuccess0.004
FurnaceControlSystemSuccess0.022
EnhancedBitCounterSuccess0.007
RoomHeatingSystemSuccess0.031
CarTransmissionSuccess0.030
OutgoingTransitionOfConcurrentStateSuccess0.005
JavaDataTypesSuccess0.004
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.006
BigStateMachineWithNakedTransitionSuccess0.015
concurrentMachineExampleSuccess0.005
InputVariableTestSuccess0.004
avoidJunitErrorSuccess0.001
Properties »
System.out »