Copyright (c) 1993-2006 University of Southern California and contributors.
All rights reserved.
Your use of this work is governed under the terms of the GNU General Public
License version 2.

The EiffelWeasel Eiffel Regression Tester is free
software; you can redistribute it and/or modify it under
the terms of the GNU General Public License version 2 as published
by the Free Software Foundation.

The EiffelWeasel Eiffel Regression Tester is
distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty
of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
See the GNU General Public License version 2 for more details.

You should have received a copy of the GNU General Public
License version 2 along with the EiffelWeasel Eiffel Regression Tester
if not, write to the Free Software Foundation,
Inc., 51 Franklin St, Fifth Floor, Boston, MA