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

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Mar 26 17:00:46 2012 +0200

Surround non integer costants with a cast to boundary type.

---

src/Interval.inlines.hh | 2 ++ tests/Concrete_Expression/bdshape1.cc | 12 ++++++------ tests/Concrete_Expression/bdshape2.cc | 26 +++++++++++++------------- tests/Concrete_Expression/octagonalshape1.cc | 12 ++++++------ tests/Concrete_Expression/octagonalshape2.cc | 26 +++++++++++++------------- tests/Concrete_Expression/polyhedron2.cc | 6 +++--- 6 files changed, 43 insertions(+), 41 deletions(-)

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