CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2006-01-09 13:59:27

Modified files: interfaces/Prolog: Prolog_interface.dox interfaces/Prolog/XSB: expected_pchk_int16 expected_pchk_int16_a expected_pchk_int32 expected_pchk_int32_a expected_pchk_int64_a expected_pchk_int8 expected_pchk_int8_a interfaces/Prolog/tests: expected_pchk_int16 expected_pchk_int16_a expected_pchk_int32 expected_pchk_int32_a expected_pchk_int64_a expected_pchk_int8 expected_pchk_int8_a pl_check.pl

Log message: The tests in pl_check.pl now continue when there is an overflow exception. Also the tests are more careful to output in 'quiet' mode as the default. As a result of these changes, the expected_pchk files have to be revised. A type fixed in Prolog_definitions.dox.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inter... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expect... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_che...