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.002	2023-08-05T02:03:20	cruise

Tests

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