[PPL-devel] [GIT] ppl/ppl(floating_point): Added more typedefs and one test.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at 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