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

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2006-01-10 12:37:31

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

Log message:
	The large integer tests for Prolog systems with bounded integers
	improved so that they check the maximum and minimum integers
	at the interface.
	
	The exception testing for Prolog also improved and a bug fixed
	when testing the Prolog_unsigned_out_of_range exception.
	
	The exception testing for Prolog systems with bounded integers
	improved. We explicitly exclude XSB from these tests as it does
	not throw an exception when the numbers are out-of-range.

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