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.111
2024-04-16T22:17:36
cruise
Tests
Name
Status
Type
Time(s)
Shapes
Success
0.011
FiniteSat
Success
0.004
AlloyAssociations
Success
0.011
singleton
Success
0.002
UmpleClass
Success
0.002
oneToManyAssociation
Success
0.004
BankingSystem
Success
0.014
isARelationship
Success
0.003
AlloyReflexiveRelation
Success
0.004
temp
Skipped
N/A
0.000
AlloyGenHierarchy
Success
0.005
oneToOneAssociation
Success
0.003
abstractSingleton
Success
0.003
AlloySymmetricReflexive
Success
0.003
AssociationWithNumericBounds
Success
0.004
AlloySophisticatedAssociations
Success
0.005
RealEstateSystem
Success
0.015
Association
Success
0.005
Example1
Success
0.003
unidirectional
Success
0.003
avoidJunitError
Success
0.001
Properties »
System.out »