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

Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Sep 7 11:07:24 2009 +0200

Added more typedefs and one test.

---

.../floatingpointexpr1.cc | 15 ++++++++++++++- 1 files changed, 14 insertions(+), 1 deletions(-)

diff --git a/tests/Floating_Point_Expression/floatingpointexpr1.cc b/tests/Floating_Point_Expression/floatingpointexpr1.cc index 6ac6f5a..e0cf4e1 100644 --- a/tests/Floating_Point_Expression/floatingpointexpr1.cc +++ b/tests/Floating_Point_Expression/floatingpointexpr1.cc @@ -59,6 +59,9 @@ typedef Variable_Floating_Point_Expression<db_r_oc, IEEE754_Double> var_fpedd; typedef Opposite_Floating_Point_Expression<db_r_oc, IEEE754_Single> opp_fpeds; typedef Opposite_Floating_Point_Expression<db_r_oc, IEEE754_Double> opp_fpedd;

+typedef Floating_Point_Expression<fl_r_oc, IEEE754_Single>::FP_Interval_Abstract_Store sstr; +typedef Constant_Floating_Point_Expression<db_r_oc, IEEE754_Single>::FP_Interval_Abstract_Store dstr; + namespace {

using namespace Parma_Polyhedra_Library::IO_Operators; @@ -93,7 +96,17 @@ test02() {

bool test03() { - return true; + con_fpess* num = new con_fpess(3, 5); + con_fpess* den = new con_fpess(-1,1); + div_fpess div(num, den); + try { + Float_Interval_Linear_Form res; + div.linearize(sstr(), res); + } + catch (Linearization_Failed e) { + return true; + } + return false; }

} // namespace