Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.alloy.AlloyTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
AlloyTemplateTest210010.4432024-10-11T14:59:17cruise

Tests

NameStatusTypeTime(s)
ShapesSuccess0.022
FiniteSatSuccess0.015
AlloyAssociationsSuccess0.012
singletonSuccess0.017
UmpleClassSuccess0.004
oneToManyAssociationSuccess0.005
BankingSystemSuccess0.039
isARelationshipSuccess0.005
AlloyReflexiveRelationSuccess0.052
tempSkippedN/A

0.000
AlloyGenHierarchySuccess0.029
oneToOneAssociationSuccess0.071
abstractSingletonSuccess0.005
AlloySymmetricReflexiveSuccess0.004
AssociationWithNumericBoundsSuccess0.082
AlloySophisticatedAssociationsSuccess0.007
RealEstateSystemSuccess0.033
AssociationSuccess0.006
Example1Success0.004
unidirectionalSuccess0.025
avoidJunitErrorSuccess0.002
Properties »
System.out »