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

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at 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&r1=1.62&r2=1.63
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.diff?cvsroot=ppl&r1=1.9&r2=1.10