Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.alloy.AlloyTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
AlloyTemplateTest210010.3312024-04-30T16:52:42cruise

Tests

NameStatusTypeTime(s)
ShapesSuccess0.035
FiniteSatSuccess0.015
AlloyAssociationsSuccess0.013
singletonSuccess0.066
UmpleClassSuccess0.004
oneToManyAssociationSuccess0.005
BankingSystemSuccess0.031
isARelationshipSuccess0.006
AlloyReflexiveRelationSuccess0.044
tempSkippedN/A

0.000
AlloyGenHierarchySuccess0.028
oneToOneAssociationSuccess0.022
abstractSingletonSuccess0.004
AlloySymmetricReflexiveSuccess0.004
AssociationWithNumericBoundsSuccess0.004
AlloySophisticatedAssociationsSuccess0.007
RealEstateSystemSuccess0.022
AssociationSuccess0.006
Example1Success0.005
unidirectionalSuccess0.005
avoidJunitErrorSuccess0.001
Properties »
System.out »