[PPL-devel] [GIT] ppl/ppl(master): Added debugging macro PPL_EXPECT_HEAVY.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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=3c49e9f58f55eb1dd2302b35d3ec8f05d2673a96