Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.alloy.AlloyTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
AlloyTemplateTest210010.1092024-01-25T21:27:23cruise

Tests

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

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