CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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_che...