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.090	2026-08-04T18:53:48	cruise

Tests

Name	Status	Type	Time(s)
Shapes	Success		0.014
FiniteSat	Success		0.003
AlloyAssociations	Success		0.009
singleton	Success		0.002
UmpleClass	Success		0.002
oneToManyAssociation	Success		0.003
BankingSystem	Success		0.013
isARelationship	Success		0.003
AlloyReflexiveRelation	Success		0.002
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.003
AlloySophisticatedAssociations	Success		0.004
RealEstateSystem	Success		0.012
Association	Success		0.002
Example1	Success		0.002
unidirectional	Success		0.002
avoidJunitError	Success		0.001