[PPL-devel] [GIT] ppl/ppl(floating_point): Started to test Polyhedron:: affine_image on FP_Linear_Form.

[Roberto Amadini]

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

Author: Roberto Amadini <r.amadini at 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
 
 
 #