ppl/src Matrix.cc Polyhedron_widenings.cc

16 Jul
2003
16 Jul
'03
3:49 p.m.
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...
8130
Age (days ago)
8130
Last active (days ago)
0 comments
1 participants
participants (1)
-
Enea Zaffanella