Module: ppl/ppl Branch: bounded_arithmetic Commit: 85fcc769e398169735fc0e352797cb1a4193362f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85fcc769e3981...

Author: Alberto Gioia alberto.gioia1@studenti.unipr.it Date: Fri Jun 24 17:48:12 2011 +0200

Adjusted definition of the class Test_Oracle, after new definition for class Oracle.

---

tests/Concrete_Expression/digitalfilters1.cc | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/tests/Concrete_Expression/digitalfilters1.cc b/tests/Concrete_Expression/digitalfilters1.cc index b2e4741..d0fcf3e 100644 --- a/tests/Concrete_Expression/digitalfilters1.cc +++ b/tests/Concrete_Expression/digitalfilters1.cc @@ -43,13 +43,13 @@ public: return true; }

- bool get_int_constant_value(const Int_Constant<C_Expr>& expr, - FP_Interval& result) const { + bool get_int_constant_value(const Int_Constant<C_Expr>&, + FP_Interval&) const { return false; }

- bool get_integer_constant_value(const Integer_Constant<C_Expr>& expr, - FP_Interval& result) const { + bool get_integer_constant_value(const Integer_Constant<C_Expr>&, + FP_Interval&) const { return false; }

@@ -76,7 +76,7 @@ public: result = expr.dimensions; return true; } - + FP_Interval_Abstract_Store int_store; };