[PPL-devel] [GIT] ppl/ppl(master): Several corrections in tests and source code.
Roberto Amadini
r.amadini at virgilio.it
Mon Dec 21 18:01:14 CET 2009
Module: ppl/ppl
Branch: master
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
More information about the PPL-devel
mailing list