Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.alloy.AlloyTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
AlloyTemplateTest210010.2152026-10-21T11:25:14cruise

Tests

NameStatusTypeTime(s)
ShapesSuccess0.014
FiniteSatSuccess0.013
AlloyAssociationsSuccess0.012
singletonSuccess0.021
UmpleClassSuccess0.019
oneToManyAssociationSuccess0.002
BankingSystemSuccess0.045
isARelationshipSuccess0.002
AlloyReflexiveRelationSuccess0.048
tempSkippedN/A

0.000
AlloyGenHierarchySuccess0.012
oneToOneAssociationSuccess0.003
abstractSingletonSuccess0.001
AlloySymmetricReflexiveSuccess0.002
AssociationWithNumericBoundsSuccess0.003
AlloySophisticatedAssociationsSuccess0.003
RealEstateSystemSuccess0.008
AssociationSuccess0.003
Example1Success0.002
unidirectionalSuccess0.002
avoidJunitErrorSuccess0.000
Properties »
System.out »