[PPL-devel] [GIT] ppl/ppl(master): On machines where float is supported and double is not supported, test01() can yield results that are significantly less precise.
Roberto Bagnara
bagnara at cs.unipr.it
Fri Mar 30 18:17:34 CEST 2012
Module: ppl/ppl
Branch: master
Commit: fdf149dd64f624400075f75abd934553bfe7c9fc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fdf149dd64f624400075f75abd934553bfe7c9fc
Author: Roberto Bagnara <bagnara at 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;
}
More information about the PPL-devel
mailing list