Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.alloy.AlloyTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
AlloyTemplateTest210010.2702024-03-17T20:03:55cruise

Tests

NameStatusTypeTime(s)
ShapesSuccess0.039
FiniteSatSuccess0.023
AlloyAssociationsSuccess0.012
singletonSuccess0.017
UmpleClassSuccess0.004
oneToManyAssociationSuccess0.006
BankingSystemSuccess0.062
isARelationshipSuccess0.005
AlloyReflexiveRelationSuccess0.028
tempSkippedN/A

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