Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.alloy.AlloyTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
AlloyTemplateTest210010.1842025-03-20T22:55:21cruise

Tests

NameStatusTypeTime(s)
ShapesSuccess0.015
FiniteSatSuccess0.008
AlloyAssociationsSuccess0.038
singletonSuccess0.005
UmpleClassSuccess0.005
oneToManyAssociationSuccess0.006
BankingSystemSuccess0.017
isARelationshipSuccess0.006
AlloyReflexiveRelationSuccess0.008
tempSkippedN/A

0.000
AlloyGenHierarchySuccess0.007
oneToOneAssociationSuccess0.005
abstractSingletonSuccess0.006
AlloySymmetricReflexiveSuccess0.005
AssociationWithNumericBoundsSuccess0.006
AlloySophisticatedAssociationsSuccess0.007
RealEstateSystemSuccess0.017
AssociationSuccess0.006
Example1Success0.005
unidirectionalSuccess0.005
avoidJunitErrorSuccess0.002
Properties »
System.out »