[PPL-devel] ppl/tests Makefile.am bug1.cc bug1.dat

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: roberto@cs.unipr.it 2002-11-24 19:06:05

Modified files: tests : Makefile.am Added files: tests : bug1.cc bug1.dat

Log message: New test program (with input data) meant to witness the existence of a bug in Polyhedron::concatenate_assign(). Unfortunately, it shows that there are also problems in Polyhedron::ascii_dump() and/or Polyhedron::ascii_load().

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug1.cc?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug1.dat?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot...