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

Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Jul 29 15:34:08 2010 +0200

Corrected the policy values. Make check now works again.

---

src/Concrete_Expression.defs.hh | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Concrete_Expression.defs.hh b/src/Concrete_Expression.defs.hh index dc937ad..7aa09e7 100644 --- a/src/Concrete_Expression.defs.hh +++ b/src/Concrete_Expression.defs.hh @@ -117,13 +117,13 @@ private: };

struct Integer_Interval_Info_Policy { - const_bool_nodef(store_special, false); - const_bool_nodef(store_open, true); + const_bool_nodef(store_special, true); + const_bool_nodef(store_open, false); const_bool_nodef(cache_empty, true); const_bool_nodef(cache_singleton, true); const_bool_nodef(cache_normalized, false); const_int_nodef(next_bit, 0); - const_bool_nodef(may_be_empty, false); + const_bool_nodef(may_be_empty, true); const_bool_nodef(may_contain_infinity, false); const_bool_nodef(check_empty_result, false); const_bool_nodef(check_inexact, false);