Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVOptimizerTemplateTest440010.4222026-10-21T11:25:19cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.009
AndCrossExampleSuccess0.007
SingleLaneBridgeSuccess0.038
FlatElevatorSuccess0.039
SingleEventMachineSuccess0.004
AbstractConcurrentSystemSuccess0.004
AbstractMachineSuccess0.003
DigitalWatchFlatSuccess0.012
nestedConcurrentMachineSuccess0.005
MultiLevelStateMachineExampleCase2Success0.003
GrantApplicationSuccess0.012
ExampleFileSuccess0.003
NestedMachineSuccess0.004
SimpleCaseOfNondeterminismSuccess0.003
myTemporaryTestSuccess0.015
NestedWatchSuccess0.015
BigStateMachineTestSuccess0.007
FlatSpecificFlightSuccess0.007
FileSkippedN/A

0.000
TestSuccess0.003
ExampleFile1Success0.003
ExampleFile2Success0.008
ElevatorSuccess0.011
ConstantTestSuccess0.003
SpecificFlightSuccess0.009
CourseSectionSuccess0.004
AdaptiveCruiseControlWithTerminalStateSuccess0.016
AndCrossFromDeeplyNestedStateCase2Success0.009
EmptyStateMachineTestSuccess0.002
AndCrossFromDeeplyNestedStateSuccess0.004
ArbitraryExampleSuccess0.007
AdaptiveCruiseControlSystemSuccess0.036
MultiLevelStateMachineExampleSuccess0.004
FurnaceControlSystemSuccess0.016
EnhancedBitCounterSuccess0.009
RoomHeatingSystemSuccess0.030
CarTransmissionSuccess0.023
OutgoingTransitionOfConcurrentStateSuccess0.007
JavaDataTypesSuccess0.004
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.005
BigStateMachineWithNakedTransitionSuccess0.007
concurrentMachineExampleSuccess0.004
InputVariableTestSuccess0.003
avoidJunitErrorSuccess0.001
Properties »
System.out »