Unit Test Results.

Designed for use with JUnit and Ant.

Name	Tests	Errors	Failures	Skipped	Time(s)	Time Stamp	Host
AlloyTemplateTest	21	0	0	1	0.097	2026-03-27T14:34:05	cruise

Tests

Name	Status	Type	Time(s)
Shapes	Success		0.012
FiniteSat	Success		0.004
AlloyAssociations	Success		0.011
singleton	Success		0.003
UmpleClass	Success		0.002
oneToManyAssociation	Success		0.003
BankingSystem	Success		0.014
isARelationship	Success		0.002
AlloyReflexiveRelation	Success		0.003
temp	Skipped	N/A	0.000
AlloyGenHierarchy	Success		0.004
oneToOneAssociation	Success		0.002
abstractSingleton	Success		0.002
AlloySymmetricReflexive	Success		0.002
AssociationWithNumericBounds	Success		0.002
AlloySophisticatedAssociations	Success		0.005
RealEstateSystem	Success		0.013
Association	Success		0.003
Example1	Success		0.002
unidirectional	Success		0.002
avoidJunitError	Success		0.001