CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-10-01 11:14:27

Modified files: interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am swi_prolog_generated_test.pl interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am interfaces/Prolog/tests: ppl_interface_generator_prolog_generated_test_pl_code.m4 Added files: interfaces/Prolog/GNU: gnu_prolog_generated_test.pl interfaces/Prolog/YAP: yap_prolog_generated_test.pl interfaces/Prolog/tests: expected_pgt

Log message: Revised the code for running the generated tests. The expected result (OK) is in expected_pgt. Some coefficients in the generated tests have been simplified to avoid unintended overflows.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gnu_prol... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Make... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_prol... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_prol... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefile... 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/ppl_in...