Module: ppl/ppl Branch: floating_point Commit: 6da25c9734d4f9bb3eebd7d23ec85f14e2d6fe18 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6da25c9734d4f...
Author: Roberto Amadini r.amadini@virgilio.it Date: Sat Oct 17 12:43:04 2009 +0200
Added FIXME notes.
---
tests/Floating_Point_Expression/digitalfilters1.cc | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-)
diff --git a/tests/Floating_Point_Expression/digitalfilters1.cc b/tests/Floating_Point_Expression/digitalfilters1.cc index 8a40c4b..7e19652 100644 --- a/tests/Floating_Point_Expression/digitalfilters1.cc +++ b/tests/Floating_Point_Expression/digitalfilters1.cc @@ -512,6 +512,7 @@ test05() { std::numeric_limits<ANALYZER_FP_FORMAT>::max(); max_analyzer = std::min(max_analyzer, max_analyzed); assign_r(M, max_analyzer, ROUND_DOWN); + //FIXME: We could take any value of M >= 145. cs.insert(Y <= M); cs.insert(Y >= -M); FP_BD_Shape bd_wid(bd); @@ -633,6 +634,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 >= 145. cs.insert(Y <= N); cs.insert(Y >= -N); FP_Octagonal_Shape oc_wid(oc); @@ -750,6 +752,7 @@ test07() { std::numeric_limits<ANALYZER_FP_FORMAT>::max(); max_analyzer = std::min(max_analyzer, max_analyzed); assign_r(M, max_analyzer, ROUND_DOWN); + //FIXME: We could take any value of M >= 136. cs.insert(Y <= M); cs.insert(Y >= -M); NNC_Polyhedron ph_wid(ph);