[PPL-devel] [GIT] ppl/ppl(floating_point): Capture the expected failure due to overflows.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Dec 22 09:30:55 2009 +0100

Capture the expected failure due to overflows.

---

 tests/Floating_Point_Expression/digitalfilters1.cc |   36 +++++++++----------
 tests/Floating_Point_Expression/polyhedron1.cc     |    4 +-
 tests/Floating_Point_Expression/polyhedron2.cc     |    4 +-
 3 files changed, 21 insertions(+), 23 deletions(-)

diff --git a/tests/Floating_Point_Expression/digitalfilters1.cc b/tests/Floating_Point_Expression/digitalfilters1.cc
index 01d54f6..ffd5c11 100644
--- a/tests/Floating_Point_Expression/digitalfilters1.cc
+++ b/tests/Floating_Point_Expression/digitalfilters1.cc
@@ -46,8 +46,7 @@ for (n = 0; n < N; ++n) {
 }
 */
 
-// Tests rate limiter using intervals abstract domain
-// and ignoring rounding errors.
+// Tests rate limiter using boxes and ignoring rounding errors.
 bool
 test01() {
   // Input signal.
@@ -139,8 +138,8 @@ test01() {
   return !y.is_bounded();
 }
 
-// Tests rate limiter using bounded differences abstract domain
-// and ignoring rounding errors.
+// Tests rate limiter using bounded differences and ignoring rounding
+// errors.
 bool
 test02() {
   // Input signal.
@@ -229,8 +228,8 @@ test02() {
   return !y.is_bounded();
 }
 
-// Tests rate limiter using octagons abstract domain
-// and ignoring rounding errors.
+// Tests rate limiter using octagonal shapes and ignoring rounding
+// errors.
 bool
 test03() {
   // Input signal.
@@ -324,8 +323,7 @@ test03() {
   return y.is_bounded();
 }
 
-// Tests rate limiter using polyhedra abstract domain
-// and ignoring rounding errors.
+// Tests rate limiter using polyhedra and ignoring rounding errors.
 bool
 test04() {
   // Input signal.
@@ -419,8 +417,8 @@ test04() {
   return y.is_bounded();
 }
 
-// Tests rate limiter using bounded differences abstract domain and
-// linearization of floating point expressions.
+// Tests rate limiter using bounded differences and linearization of
+// floating point expressions.
 // In order to improve the analysis, the interval domain is used
 // in parallel with bounded differences domain.
 bool
@@ -598,8 +596,8 @@ test05() {
   return y.is_bounded();
 }
 
-// Tests rate limiter using octagons abstract domain and
-// linearization of floating point expressions.
+// Tests rate limiter using octagonal shapes and linearization of
+// floating point expressions.
 // In order to improve the analysis, the interval domain is used
 // in parallel with octagons domain.
 bool
@@ -784,8 +782,8 @@ test06() {
   return y.is_bounded();
 }
 
-// Tests rate limiter using polyhedra abstract domain and
-// linearization of floating point expressions.
+// Tests rate limiter using polyhedra domain and linearization of
+// floating point expressions.
 // In order to improve the analysis, the interval domain is used
 // in parallel with poyhedra domain.
 bool
@@ -968,9 +966,9 @@ test07() {
 BEGIN_MAIN
   DO_TEST(test01);
   DO_TEST(test02);
-  DO_TEST(test03);
-  DO_TEST(test04);
-  DO_TEST(test05);
-  DO_TEST(test06);
-  DO_TEST(test07);
+  DO_TEST_F8(test03);
+  DO_TEST_F64(test04);
+  DO_TEST_F8(test05);
+  DO_TEST_F8(test06);
+  DO_TEST_F64(test07);
 END_MAIN
diff --git a/tests/Floating_Point_Expression/polyhedron1.cc b/tests/Floating_Point_Expression/polyhedron1.cc
index f853ba3..7b3804e 100644
--- a/tests/Floating_Point_Expression/polyhedron1.cc
+++ b/tests/Floating_Point_Expression/polyhedron1.cc
@@ -260,8 +260,8 @@ BEGIN_MAIN
   DO_TEST(test01);
   DO_TEST(test02);
   DO_TEST(test03);
-  DO_TEST(test04);
-  DO_TEST(test05);
+  DO_TEST_F16(test04);
+  DO_TEST_F32(test05);
   DO_TEST(test06);
   DO_TEST(test07);
 END_MAIN
diff --git a/tests/Floating_Point_Expression/polyhedron2.cc b/tests/Floating_Point_Expression/polyhedron2.cc
index b3c7dd3..f5dffeb 100644
--- a/tests/Floating_Point_Expression/polyhedron2.cc
+++ b/tests/Floating_Point_Expression/polyhedron2.cc
@@ -222,6 +222,6 @@ BEGIN_MAIN
   DO_TEST(test01);
   DO_TEST(test02);
   DO_TEST(test03);
-  DO_TEST(test04);
-  DO_TEST(test05);
+  DO_TEST_F32(test04);
+  DO_TEST_F16(test05);
 END_MAIN