[PPL-devel] ppl/src Matrix.cc Polyhedron_widenings.cc

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2003-07-16 15:49:11

Modified files: src : Matrix.cc Polyhedron_widenings.cc

Log message: Corrected a bug in H79_widening_assign() and BHRZ03_combining_constraints() whereby we could have created an illegal constraint system (the bug was showing up when running the test h79widening6 with assertions enabled). Also added an assertion to the corresponding constructor of Matrix.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.di...