Bugfix: test double division, not integer division!

This commit is contained in:
Marc Glisse 2011-10-24 13:12:54 +00:00
parent 6e49d67f14
commit 154d3937b1
1 changed files with 1 additions and 1 deletions

View File

@ -158,7 +158,7 @@ private:
typename Interval_nt<>::Internal_protector P;
CGAL_assertion_msg(-CGAL_IA_MUL(-1.1, 10.1) != CGAL_IA_MUL(1.1, 10.1),
"Wrong rounding: did you forget the -frounding-math option if you use GCC (or -fp-model strict for Intel)?");
CGAL_assertion_msg(-CGAL_IA_DIV(-1, 10) != CGAL_IA_DIV(1, 10),
CGAL_assertion_msg(-CGAL_IA_DIV(-1., 10) != CGAL_IA_DIV(1., 10),
"Wrong rounding: did you forget the -frounding-math option if you use GCC (or -fp-model strict for Intel)?");
}
};