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

Author: Fabio Biselli fabio.biselli@studenti.unipr.it Date: Mon Oct 5 19:09:24 2009 +0200

Minor changes.

---

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

diff --git a/tests/Floating_Point_Expression/digitalfilters1.cc b/tests/Floating_Point_Expression/digitalfilters1.cc index 3deda9f..1e47843 100644 --- a/tests/Floating_Point_Expression/digitalfilters1.cc +++ b/tests/Floating_Point_Expression/digitalfilters1.cc @@ -605,7 +605,7 @@ test06() { //assign_r(M, max, ROUND_DOWN); //cs.insert(Y <= M); //cs.insert(Y >= -M); - + ph.limited_BHRZ03_extrapolation_assign(ph_begin, cs); Box<FP_Interval> box(ph); print_constraints(box, "*** after widening ***");