Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.attributes.test.ConstraintTest

Name	Tests	Errors	Failures	Skipped	Time(s)	Time Stamp	Host
ConstraintTest	2	0	0	0	0.001	2023-03-16T22:10:56	cruise

Tests

Name	Status	Type	Time(s)
checkNegation	Success		0.000
checkConstraint	Success		0.000