[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed comments.
Roberto Amadini
r.amadini at virgilio.it
Wed Dec 2 23:44:28 CET 2009
Module: ppl/ppl
Branch: floating_point
Commit: 96ac4ea63bf306c669e97a6abc58281be0647cb9
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96ac4ea63bf306c669e97a6abc58281be0647cb9
Author: Roberto Amadini <r.amadini at 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);
More information about the PPL-devel
mailing list