Module: ppl/ppl Branch: master Commit: 0f021f3e7bd4d84cc2ebff07d41af4ae2ef5c9d3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f021f3e7bd4d...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 7 19:33:27 2012 +0200

Fixed a bug in the Prolog interface whereby predicate ppl_set_deterministic_timeout/1. It was flagging arguments bigger than 4294967295 as erroneous.

---

NEWS | 4 ++++ interfaces/Prolog/ppl_prolog_common.cc | 10 +++++----- 2 files changed, 9 insertions(+), 5 deletions(-)

diff --git a/NEWS b/NEWS index 1b83c0f..8efb8a6 100644 --- a/NEWS +++ b/NEWS @@ -34,6 +34,10 @@ o Two BibTeX databases of papers related to the Parma Polyhedra Library Bugfixes ========

+o Fixed a bug in the Prolog interface whereby predicate + ppl_set_deterministic_timeout/1 was flagging arguments bigger than + 4294967295 as erroneous. + o Minor documentation fixes.

o Portability improved. diff --git a/interfaces/Prolog/ppl_prolog_common.cc b/interfaces/Prolog/ppl_prolog_common.cc index af94425..47c45d3 100644 --- a/interfaces/Prolog/ppl_prolog_common.cc +++ b/interfaces/Prolog/ppl_prolog_common.cc @@ -1930,11 +1930,11 @@ ppl_set_deterministic_timeout(Prolog_term_ref t_weight) { // In case a deterministic timeout was already set. reset_deterministic_timeout(); static deterministic_timeout_exception e; - unsigned weight - = term_to_unsigned<unsigned>(t_weight, - "ppl_set_deterministic_timeout/1"); - p_deterministic_timeout_object = - new Weightwatch(weight, abandon_expensive_computations, e); + unsigned long long weight + = term_to_unsigned<unsigned long long>(t_weight, + "ppl_set_deterministic_timeout/1"); + p_deterministic_timeout_object + = new Weightwatch(weight, abandon_expensive_computations, e); return PROLOG_SUCCESS; } CATCH_ALL;