Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVOptimizerTemplateTest440010.5812021-06-13T18:21:45cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.008
AndCrossExampleSuccess0.007
SingleLaneBridgeSuccess0.028
FlatElevatorSuccess0.013
SingleEventMachineSuccess0.005
AbstractConcurrentSystemSuccess0.006
AbstractMachineSuccess0.003
DigitalWatchFlatSuccess0.023
nestedConcurrentMachineSuccess0.007
MultiLevelStateMachineExampleCase2Success0.004
GrantApplicationSuccess0.015
ExampleFileSuccess0.005
NestedMachineSuccess0.005
SimpleCaseOfNondeterminismSuccess0.004
myTemporaryTestSuccess0.026
NestedWatchSuccess0.021
BigStateMachineTestSuccess0.014
FlatSpecificFlightSuccess0.011
FileSkippedN/A

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