CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-02-25 15:02:54

Modified files: tests : addconstraints1.cc addconstraints10.cc addconstraints5.cc addconstraints6.cc addconstraints7.cc addconstraints8.cc addconstraints9.cc error25.cc includes1.cc includes2.cc includes3.cc includes4.cc inters5.cc satisfies2.cc satisfies3.cc

Log message: Corrected some errors in the tests.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints10.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints5.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints6.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints7.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints8.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints9.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error25.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/includes1.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/includes2.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/includes3.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/includes4.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters5.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/satisfies2.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/satisfies3.cc.diff?cvsro...