CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-03-07 12:48:33

Modified files: tests : Makefile.am Added files: tests : relations1.cc relations2.cc relations3.cc relations4.cc relations5.cc relations6.cc relations7.cc relations8.cc Removed files: tests : includes1.cc includes2.cc includes3.cc includes4.cc satisfies1.cc satisfies2.cc satisfies3.cc satisfies4.cc

Log message: The tests includes1, includes2, includes3, includes4 are now renamed relations1, relations2, relations3, relations4 and the tests satisfies1, satisfies2,satisfies3, satisfies4 are renamed relations5, relations6, relations7, relations8.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations1.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations2.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations3.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations4.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations5.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations6.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations7.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations8.cc.diff?cvsro... 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/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/satisfies1.cc.diff?cvsro... 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... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/satisfies4.cc.diff?cvsro...