Module: ppl/ppl Branch: master Commit: 7df8a012ef106c60a5a9685208af6074d00e632b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7df8a012ef106...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon May 4 08:06:25 2009 +0200

Expected behavior made dependent on the range of Coefficient.

---

tests/BD_Shape/wrap1.cc | 12 ++++++------ tests/Octagonal_Shape/wrap1.cc | 4 ++-- tests/Polyhedron/wrap1.cc | 12 ++++++------ 3 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/tests/BD_Shape/wrap1.cc b/tests/BD_Shape/wrap1.cc index 54f5711..bd8b72e 100644 --- a/tests/BD_Shape/wrap1.cc +++ b/tests/BD_Shape/wrap1.cc @@ -43,9 +43,9 @@ test01() { TBD_Shape known_result(2); typedef TBD_Shape::coefficient_type T; if (!std::numeric_limits<T>::is_bounded - || (std::numeric_limits<T>::max() >= 510 + || (std::numeric_limits<T>::max() >= 260 && (std::numeric_limits<T>::is_iec559 - || std::numeric_limits<T>::min() <= -510))) { + || std::numeric_limits<T>::min() <= -260))) { known_result.refine_with_constraint(x >= 0); known_result.refine_with_constraint(x <= 255); known_result.refine_with_constraint(y >= 56); @@ -88,9 +88,9 @@ test02() { TBD_Shape known_result(2); typedef TBD_Shape::coefficient_type_base T; if (!std::numeric_limits<T>::is_bounded - || (std::numeric_limits<T>::max() >= 510 + || (std::numeric_limits<T>::max() >= 260 && (std::numeric_limits<T>::is_iec559 - || std::numeric_limits<T>::min() <= -510))) { + || std::numeric_limits<T>::min() <= -260))) { known_result.refine_with_constraint(x >= 0); known_result.refine_with_constraint(x <= 4); known_result.refine_with_constraint(y >= 88); @@ -114,6 +114,6 @@ test02() { } // namespace

BEGIN_MAIN - DO_TEST(test01); - DO_TEST(test02); + DO_TEST_F8(test01); + DO_TEST_F8(test02); END_MAIN diff --git a/tests/Octagonal_Shape/wrap1.cc b/tests/Octagonal_Shape/wrap1.cc index 9ddd4ae..7047704 100644 --- a/tests/Octagonal_Shape/wrap1.cc +++ b/tests/Octagonal_Shape/wrap1.cc @@ -400,6 +400,6 @@ test12() { } // namespace

BEGIN_MAIN - DO_TEST(test01); - DO_TEST(test02); + DO_TEST_F8(test01); + DO_TEST_F8(test02); END_MAIN diff --git a/tests/Polyhedron/wrap1.cc b/tests/Polyhedron/wrap1.cc index 40d3e0f..d0fff88 100644 --- a/tests/Polyhedron/wrap1.cc +++ b/tests/Polyhedron/wrap1.cc @@ -434,18 +434,18 @@ test14() { } // namespace

BEGIN_MAIN - DO_TEST(test01); + DO_TEST_F16(test01); DO_TEST(test02); DO_TEST(test03); DO_TEST(test04); - DO_TEST(test05); - DO_TEST(test06); - DO_TEST(test07); + DO_TEST_F16(test05); + DO_TEST_F16(test06); + DO_TEST_F16(test07); DO_TEST(test08); DO_TEST(test09); - DO_TEST(test10); + DO_TEST_F16(test10); DO_TEST(test11); DO_TEST(test12); - DO_TEST(test13); + DO_TEST_F16(test13); DO_TEST(test14); END_MAIN