Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.alloy.AlloyTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
AlloyTemplateTest210010.1902026-01-08T23:50:00cruise

Tests

NameStatusTypeTime(s)
ShapesSuccess0.016
FiniteSatSuccess0.006
AlloyAssociationsSuccess0.013
singletonSuccess0.004
UmpleClassSuccess0.005
oneToManyAssociationSuccess0.005
BankingSystemSuccess0.023
isARelationshipSuccess0.009
AlloyReflexiveRelationSuccess0.006
tempSkippedN/A

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