Unit Test Results.
Designed for use with
JUnit
and
Ant
.
Class cruise.umple.implementation.alloy.AlloyTemplateTest
Name
Tests
Errors
Failures
Skipped
Time(s)
Time Stamp
Host
AlloyTemplateTest
21
0
0
1
0.308
2025-09-12T18:06:57
cruise
Tests
Name
Status
Type
Time(s)
Shapes
Success
0.013
FiniteSat
Success
0.008
AlloyAssociations
Success
0.014
singleton
Success
0.005
UmpleClass
Success
0.004
oneToManyAssociation
Success
0.006
BankingSystem
Success
0.018
isARelationship
Success
0.005
AlloyReflexiveRelation
Success
0.006
temp
Skipped
N/A
0.000
AlloyGenHierarchy
Success
0.035
oneToOneAssociation
Success
0.052
abstractSingleton
Success
0.005
AlloySymmetricReflexive
Success
0.005
AssociationWithNumericBounds
Success
0.074
AlloySophisticatedAssociations
Success
0.008
RealEstateSystem
Success
0.026
Association
Success
0.006
Example1
Success
0.006
unidirectional
Success
0.006
avoidJunitError
Success
0.001
Properties »
System.out »