Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.alloy.AlloyTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
AlloyTemplateTest210010.0692026-05-04T18:45:42cruise

Tests

NameStatusTypeTime(s)
ShapesSuccess0.007
FiniteSatSuccess0.002
AlloyAssociationsSuccess0.007
singletonSuccess0.001
UmpleClassSuccess0.002
oneToManyAssociationSuccess0.002
BankingSystemSuccess0.010
isARelationshipSuccess0.002
AlloyReflexiveRelationSuccess0.002
tempSkippedN/A

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