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.452
2023-03-16T22:10:02
cruise
Tests
Name
Status
Type
Time(s)
Shapes
Success
0.183
FiniteSat
Success
0.048
AlloyAssociations
Success
0.011
singleton
Success
0.059
UmpleClass
Success
0.003
oneToManyAssociation
Success
0.004
BankingSystem
Success
0.038
isARelationship
Success
0.004
AlloyReflexiveRelation
Success
0.020
temp
Skipped
N/A
0.000
AlloyGenHierarchy
Success
0.011
oneToOneAssociation
Success
0.014
abstractSingleton
Success
0.003
AlloySymmetricReflexive
Success
0.004
AssociationWithNumericBounds
Success
0.006
AlloySophisticatedAssociations
Success
0.006
RealEstateSystem
Success
0.016
Association
Success
0.005
Example1
Success
0.004
unidirectional
Success
0.004
avoidJunitError
Success
0.002
Properties »
System.out »