Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmv.NuSMVTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVTemplateTest410011.0692023-12-04T21:23:19cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.034
AndCrossExampleSuccess0.012
SingleLaneBridgeSuccess0.088
SingleEventMachineSuccess0.016
AbstractConcurrentSystemSuccess0.009
AbstractMachineSuccess0.007
DigitalWatchFlatSuccess0.059
nestedConcurrentMachineSuccess0.014
MultiLevelStateMachineExampleCase2Success0.008
GrantApplicationSuccess0.018
ExampleFileSuccess0.009
NestedMachineSuccess0.007
SimpleCaseOfNondeterminismSuccess0.007
myTemporaryTestSuccess0.048
NestedWatchSuccess0.030
BigStateMachineTestSuccess0.022
FileSkippedN/A

0.000
TestSuccess0.008
ExampleFile1Success0.007
ExampleFile2Success0.017
ElevatorSuccess0.022
ConstantTestSuccess0.008
CourseSectionSuccess0.009
AdaptiveCruiseControlWithTerminalStateSuccess0.121
AndCrossFromDeeplyNestedStateCase2Success0.012
EmptyStateMachineTestSuccess0.004
AndCrossFromDeeplyNestedStateSuccess0.011
ArbitraryExampleSuccess0.014
AdaptiveCruiseControlSystemSuccess0.142
MultiLevelStateMachineExampleSuccess0.007
FurnaceControlSystemSuccess0.071
EnhancedBitCounterSuccess0.016
RoomHeatingSystemSuccess0.075
CarTransmissionSuccess0.039
OutgoingTransitionOfConcurrentStateSuccess0.010
JavaDataTypesSuccess0.008
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.011
BigStateMachineWithNakedTransitionSuccess0.015
concurrentMachineExampleSuccess0.009
InputVariableTestSuccess0.007
avoidJunitErrorSuccess0.001
Properties »
System.out »