CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2008-10-02 11:46:07

Modified files: . : configure.ac configure.repo tests : Makefile.am tests/Ask_Tell : Makefile.am tests/BD_Shape : Makefile.am tests/Box : Makefile.am tests/Grid : Makefile.am tests/MIP_Problem: Makefile.am tests/Octagonal_Shape: Makefile.am tests/Partially_Reduced_Product: Makefile.am tests/Polyhedron: Makefile.am tests/Powerset : Makefile.am Added files: tests : valgrind_suppressions

Log message: New configure option --enable-valgrind-tests causes (some) library tests to be run under Valgrind.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.repo.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/valgrind_suppressions.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Ask_Tell/Makefile.am.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/Makefile.am.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am.dif...