Module: ppl/ppl Branch: floating_point Commit: 4c93dcb4734f0fc815eeed69bcb4fbc90f1a50f1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c93dcb4734f0...

Author: Roberto Amadini r.amadini@virgilio.it Date: Thu Sep 24 10:38:03 2009 +0200

Started to test Polyhedron::affine_image on FP_Linear_Form.

---

src/Polyhedron.templates.hh | 2 +- tests/Floating_Point_Expression/Makefile.am | 23 +++++++++++++---------- 2 files changed, 14 insertions(+), 11 deletions(-)

diff --git a/src/Polyhedron.templates.hh b/src/Polyhedron.templates.hh index 880d88b..0ef06d2 100644 --- a/src/Polyhedron.templates.hh +++ b/src/Polyhedron.templates.hh @@ -414,7 +414,7 @@ Polyhedron::overapproximate_linear_form( FP_Format curr_lb = curr_coeff.lower(); FP_Format curr_ub = curr_coeff.upper(); if (curr_lb != 0 || curr_ub != 0) { - const FP_Interval_Type& curr_int = store.get_iterval(Variable(i)); + const FP_Interval_Type& curr_int = store.get_interval(Variable(i)); FP_Interval_Type curr_addend(curr_ub - curr_lb); curr_addend *= aux_divisor2; curr_addend *= curr_int; diff --git a/tests/Floating_Point_Expression/Makefile.am b/tests/Floating_Point_Expression/Makefile.am index dc2e993..6698b36 100644 --- a/tests/Floating_Point_Expression/Makefile.am +++ b/tests/Floating_Point_Expression/Makefile.am @@ -51,11 +51,12 @@ $(top_builddir)/src/libppl.la \ @extra_libraries@

ORIGINAL_TESTS = \ -bdshape1 \ -floatingpointexpr1 \ -linearform1 \ -octagonalshape1 \ -octagonalshape2 +polyhedron1 +#bdshape1 \ +#floatingpointexpr1 \ +#linearform1 \ +#octagonalshape1 \ +#octagonalshape2

DERIVED_TESTS =

@@ -125,15 +126,17 @@ print_INSTANCES: # Sources for the tests #

-bdshape1_SOURCES = bdshape1.cc +polyhedron1_SOURCES = polyhedron1.cc

-floatingpointexpr1_SOURCES = floatingpointexpr1.cc +#bdshape1_SOURCES = bdshape1.cc

-linearform1_SOURCES = linearform1.cc +#floatingpointexpr1_SOURCES = floatingpointexpr1.cc

-octagonalshape1_SOURCES = octagonalshape1.cc +#linearform1_SOURCES = linearform1.cc

-octagonalshape2_SOURCES = octagonalshape2.cc +#octagonalshape1_SOURCES = octagonalshape1.cc + +#octagonalshape2_SOURCES = octagonalshape2.cc

#