Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.alloy.AlloyTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
AlloyTemplateTest210010.4522023-03-16T22:10:02cruise

Tests

NameStatusTypeTime(s)
ShapesSuccess0.183
FiniteSatSuccess0.048
AlloyAssociationsSuccess0.011
singletonSuccess0.059
UmpleClassSuccess0.003
oneToManyAssociationSuccess0.004
BankingSystemSuccess0.038
isARelationshipSuccess0.004
AlloyReflexiveRelationSuccess0.020
tempSkippedN/A

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