24 Oct
2002
24 Oct
'02
2:37 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-10-24 14:37:18
Modified files: tests : Makefile.am Added files: tests : addgenerator4.cc
Log message: Added a test for Polyhedron::add_generator(g). This test shows a bug in operator-=(LinExpression& e1, const LinExpression& e2) if e1.size() < e2.size().
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator4.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot...