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

Author: Roberto Bagnara bagnara@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