Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.alloy.AlloyTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
AlloyTemplateTest210010.1062024-12-07T02:43:09cruise

Tests

NameStatusTypeTime(s)
ShapesSuccess0.012
FiniteSatSuccess0.004
AlloyAssociationsSuccess0.010
singletonSuccess0.002
UmpleClassSuccess0.002
oneToManyAssociationSuccess0.003
BankingSystemSuccess0.014
isARelationshipSuccess0.004
AlloyReflexiveRelationSuccess0.003
tempSkippedN/A

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