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

Author: Roberto Amadini r.amadini@virgilio.it Date: Wed Dec 2 23:43:32 2009 +0100

Fixed comments.

---

tests/Floating_Point_Expression/digitalfilters1.cc | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/tests/Floating_Point_Expression/digitalfilters1.cc b/tests/Floating_Point_Expression/digitalfilters1.cc index 205c23d..bcadc9e 100644 --- a/tests/Floating_Point_Expression/digitalfilters1.cc +++ b/tests/Floating_Point_Expression/digitalfilters1.cc @@ -473,7 +473,7 @@ test05() { assign_r(M, max_analyzer, ROUND_DOWN);

// We have to check that Y not overflows. - // FIXME: We could take any value of M >= 145. + // FIXME: We could take any value of M >= 144. Constraint_System cs; cs.insert(Y <= M); cs.insert(Y >= -M); @@ -665,7 +665,7 @@ test06() { // Y + Y <= 2 * M = +inf and -Y - Y <= -2 * M = +inf. // For a more precise analysis, it is better to insert the // constraints Y <= N and Y >= -N, where N = M / 2. - // However, we could take any value of N such that 145 <= N <= M / 2. + // However, we could take any value of N such that 144 <= N <= M / 2. div_2exp_assign_r(N, M, 1, ROUND_DOWN); // We have to check that Y not overflows. Constraint_System cs; @@ -855,7 +855,7 @@ test07() { assign_r(M, max_analyzer, ROUND_DOWN);

// We have to check that Y not overflows. - // FIXME: We could take any value of M >= 145. + // FIXME: We could take any value of M >= 144. Constraint_System cs; cs.insert(Y <= M); cs.insert(Y >= -M);