Module: ppl/ppl Branch: master Commit: 3c49e9f58f55eb1dd2302b35d3ec8f05d2673a96 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c49e9f58f55e...

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 18:31:20 2011 +0100

Added debugging macro PPL_EXPECT_HEAVY. Added debugging helper function template copy_contains(). Systematically use PPL_EXPECT_HEAVY(copy_contains(...)) when checking containment assumptions in widening/narrowing methods.

---

src/Affine_Space.cc | 20 ++--------- src/BD_Shape.templates.hh | 50 ++++++----------------------- src/Box.templates.hh | 20 ++--------- src/Grid_widenings.cc | 66 +++++++------------------------------- src/MIP_Problem.cc | 2 - src/Octagonal_Shape.templates.hh | 50 ++++++----------------------- src/Polyhedron_widenings.cc | 42 ++++------------------- src/assert.hh | 23 +++++++++++++ 8 files changed, 71 insertions(+), 202 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3c49e9f58...