Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.alloy.AlloyTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
AlloyTemplateTest210010.3082025-09-12T18:06:57cruise

Tests

NameStatusTypeTime(s)
ShapesSuccess0.013
FiniteSatSuccess0.008
AlloyAssociationsSuccess0.014
singletonSuccess0.005
UmpleClassSuccess0.004
oneToManyAssociationSuccess0.006
BankingSystemSuccess0.018
isARelationshipSuccess0.005
AlloyReflexiveRelationSuccess0.006
tempSkippedN/A

0.000
AlloyGenHierarchySuccess0.035
oneToOneAssociationSuccess0.052
abstractSingletonSuccess0.005
AlloySymmetricReflexiveSuccess0.005
AssociationWithNumericBoundsSuccess0.074
AlloySophisticatedAssociationsSuccess0.008
RealEstateSystemSuccess0.026
AssociationSuccess0.006
Example1Success0.006
unidirectionalSuccess0.006
avoidJunitErrorSuccess0.001
Properties »
System.out »