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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Apr 20 10:34:42 2012 +0200

Another test where we get an overflow with changed sign.

---

interfaces/Prolog/tests/expected_clpq2_int16 | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/Prolog/tests/expected_clpq2_int16 b/interfaces/Prolog/tests/expected_clpq2_int16 index 707c9d1..97834f0 100644 --- a/interfaces/Prolog/tests/expected_clpq2_int16 +++ b/interfaces/Prolog/tests/expected_clpq2_int16 @@ -21,7 +21,7 @@ PPL clpq ?- Y = 8 more? yes PPL clpq ?- yes PPL clpq ?- -Error: an overflow has been detected by the PPL: Negative overflow. +Error: an overflow has been detected by the PPL: Positive overflow. no PPL clpq ?- yes PPL clpq ?- X = 10