[PPL-devel] [GIT] ppl/ppl(floating_point): Several corrections in tests and source code .

[Roberto Amadini]

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

Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Sun Dec 20 17:42:42 2009 +0100

Several corrections in tests and source code.
Now, in all tests of tests/Floating_Point_Expression/ we assume
that analyzer format must be less precise or equal than analyzed
format.

---

 src/Float.defs.hh                                  |    4 +-
 src/Floating_Point_Expression.templates.hh         |   16 ++++--
 ...lication_Floating_Point_Expression.templates.hh |   28 ++++-----
 tests/Floating_Point_Expression/Makefile.am        |   54 ++++++----------
 tests/Floating_Point_Expression/bdshape1.cc        |   20 +++---
 tests/Floating_Point_Expression/bdshape2.cc        |   32 +++++-----
 tests/Floating_Point_Expression/digitalfilters1.cc |   59 +------------------
 .../floatingpointexpr1.cc                          |   64 ++++++++++++++------
 tests/Floating_Point_Expression/linearform1.cc     |    2 +-
 tests/Floating_Point_Expression/octagonalshape1.cc |   20 +++---
 tests/Floating_Point_Expression/octagonalshape2.cc |   24 ++++----
 tests/Floating_Point_Expression/polyhedron1.cc     |   15 ++---
 tests/Floating_Point_Expression/polyhedron2.cc     |   14 ++--
 13 files changed, 151 insertions(+), 201 deletions(-)

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