Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.alloy.AlloyTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
AlloyTemplateTest210010.0992026-02-25T21:41:18cruise

Tests

NameStatusTypeTime(s)
ShapesSuccess0.013
FiniteSatSuccess0.004
AlloyAssociationsSuccess0.011
singletonSuccess0.002
UmpleClassSuccess0.001
oneToManyAssociationSuccess0.003
BankingSystemSuccess0.015
isARelationshipSuccess0.003
AlloyReflexiveRelationSuccess0.003
tempSkippedN/A

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