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.130	2021-06-13T18:21:43	cruise

Tests

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