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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 30 18:14:55 2012 +0200

On machines where float is supported and double is not supported, test01() can yield results that are significantly less precise. (Thanks to Sean McGovern.)

---

tests/Box/propagateconstraints2.cc | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/tests/Box/propagateconstraints2.cc b/tests/Box/propagateconstraints2.cc index 4c34110..a17acb8 100644 --- a/tests/Box/propagateconstraints2.cc +++ b/tests/Box/propagateconstraints2.cc @@ -386,7 +386,11 @@ bool test01() {

print_constraints(tbox, "*** tbox.propagate_edges() ***");

+#if PPL_SUPPORTED_DOUBLE bool ok = check_result(tbox, qbox2, "18.36", "2.83", "2.79"); +#else + bool ok = check_result(tbox, qbox2, "30.96", "2.83", "2.79"); +#endif

return ok; }