Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmv.NuSMVTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVTemplateTest410010.9182022-12-03T21:54:18cruise

Tests

NameStatusTypeTime(s)
CourseSectionNestedSuccess0.011
AndCrossExampleSuccess0.010
SingleLaneBridgeSuccess0.087
SingleEventMachineSuccess0.006
AbstractConcurrentSystemSuccess0.006
AbstractMachineSuccess0.004
DigitalWatchFlatSuccess0.021
nestedConcurrentMachineSuccess0.008
MultiLevelStateMachineExampleCase2Success0.005
GrantApplicationSuccess0.015
ExampleFileSuccess0.006
NestedMachineSuccess0.006
SimpleCaseOfNondeterminismSuccess0.005
myTemporaryTestSuccess0.040
NestedWatchSuccess0.029
BigStateMachineTestSuccess0.015
FileSkippedN/A

0.000
TestSuccess0.005
ExampleFile1Success0.005
ExampleFile2Success0.014
ElevatorSuccess0.016
ConstantTestSuccess0.005
CourseSectionSuccess0.006
AdaptiveCruiseControlWithTerminalStateSuccess0.103
AndCrossFromDeeplyNestedStateCase2Success0.010
EmptyStateMachineTestSuccess0.002
AndCrossFromDeeplyNestedStateSuccess0.008
ArbitraryExampleSuccess0.012
AdaptiveCruiseControlSystemSuccess0.160
MultiLevelStateMachineExampleSuccess0.005
FurnaceControlSystemSuccess0.035
EnhancedBitCounterSuccess0.010
RoomHeatingSystemSuccess0.063
CarTransmissionSuccess0.077
OutgoingTransitionOfConcurrentStateSuccess0.008
JavaDataTypesSuccess0.006
OutgoingTransitionOfConcurrentStateWithAndCross1Success0.007
BigStateMachineWithNakedTransitionSuccess0.052
concurrentMachineExampleSuccess0.019
InputVariableTestSuccess0.007
avoidJunitErrorSuccess0.001
Properties »
System.out »