CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-09-29 11:16:53 Modified files: src : Status.cc tests : Makefile.am Added files: tests : ascii_dump_load1.cc Log message: Corrected an error in Status::ASCII_load(std::istream& s). Added a test to verify Polyhedron::ASCII_dump(std::ostream& s) and Polyhedron::ASCII_load(std::istream& s). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load1.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot...