Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVOptimizerTemplateTest440010.6452022-05-06T15:59:32cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.009
AndCrossExampleSuccess0.008
SingleLaneBridgeSuccess0.033
FlatElevatorSuccess0.015
SingleEventMachineSuccess0.006
AbstractConcurrentSystemSuccess0.007
AbstractMachineSuccess0.003
DigitalWatchFlatSuccess0.022
nestedConcurrentMachineSuccess0.008
MultiLevelStateMachineExampleCase2Success0.005
GrantApplicationSuccess0.015
ExampleFileSuccess0.005
NestedMachineSuccess0.006
SimpleCaseOfNondeterminismSuccess0.005
myTemporaryTestSuccess0.027
NestedWatchSuccess0.023
BigStateMachineTestSuccess0.017
FlatSpecificFlightSuccess0.012
FileSkippedN/A

0.000
TestSuccess0.005
ExampleFile1Success0.006
ExampleFile2Success0.015
ElevatorSuccess0.015
ConstantTestSuccess0.005
SpecificFlightSuccess0.010
CourseSectionSuccess0.007
AdaptiveCruiseControlWithTerminalStateSuccess0.031
AndCrossFromDeeplyNestedStateCase2Success0.010
EmptyStateMachineTestSuccess0.002
AndCrossFromDeeplyNestedStateSuccess0.007
ArbitraryExampleSuccess0.011
AdaptiveCruiseControlSystemSuccess0.069
MultiLevelStateMachineExampleSuccess0.005
FurnaceControlSystemSuccess0.027
EnhancedBitCounterSuccess0.010
RoomHeatingSystemSuccess0.037
CarTransmissionSuccess0.086
OutgoingTransitionOfConcurrentStateSuccess0.009
JavaDataTypesSuccess0.006
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.008
BigStateMachineWithNakedTransitionSuccess0.012
concurrentMachineExampleSuccess0.008
InputVariableTestSuccess0.005
avoidJunitErrorSuccess0.002
Properties »
System.out »