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