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

Author: Roberto Amadini r.amadini@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=e61dd7b58...