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.443
2024-10-11T14:59:17
cruise
Tests
Name
Status
Type
Time(s)
Shapes
Success
0.022
FiniteSat
Success
0.015
AlloyAssociations
Success
0.012
singleton
Success
0.017
UmpleClass
Success
0.004
oneToManyAssociation
Success
0.005
BankingSystem
Success
0.039
isARelationship
Success
0.005
AlloyReflexiveRelation
Success
0.052
temp
Skipped
N/A
0.000
AlloyGenHierarchy
Success
0.029
oneToOneAssociation
Success
0.071
abstractSingleton
Success
0.005
AlloySymmetricReflexive
Success
0.004
AssociationWithNumericBounds
Success
0.082
AlloySophisticatedAssociations
Success
0.007
RealEstateSystem
Success
0.033
Association
Success
0.006
Example1
Success
0.004
unidirectional
Success
0.025
avoidJunitError
Success
0.002
Properties »
System.out »