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.093	2026-02-03T19:06:55	cruise

Tests

Name	Status	Type	Time(s)
Shapes	Success		0.011
FiniteSat	Success		0.003
AlloyAssociations	Success		0.010
singleton	Success		0.002
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.003
oneToOneAssociation	Success		0.003
abstractSingleton	Success		0.002
AlloySymmetricReflexive	Success		0.002
AssociationWithNumericBounds	Success		0.003
AlloySophisticatedAssociations	Success		0.004
RealEstateSystem	Success		0.013
Association	Success		0.003
Example1	Success		0.003
unidirectional	Success		0.003
avoidJunitError	Success		0.000