[PPL-devel] ppl/interfaces/Prolog/tests pl_check.pl

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2005-09-11 11:55:11

Modified files:
	interfaces/Prolog/tests: pl_check.pl 

Log message:
	Improved error and exception messages.
	Try and ensure that regardless of the error or exception, an informative
	message detailing the group test and the predicates it is testing is
	printed.
	
	An extra noisy level added (noisy(2) for debugging (set by the predicate
	make_extra_noisy).
	
	check_all now is quiet only as a default and does not change existing
	noisy level.
	
	Avoiding abbreviations in group names to improve readability.
	
	Made three groups for testing the constructor predicates instead of one.
	Simplified test for new_Polyhedron_from_space_dimension.
	
	Added tests for ppl_Polyhedron_generalized_affine_preimage_lhs_rhs.
	
	Improved tests  for ppl_Polyhedron_maximize_with_point
	and ppl_Polyhedron_minimize_with_point to correct behaviour on failure.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_check.pl.diff?cvsroot=ppl&r1=1.9&r2=1.10