[PPL-devel] [GIT] ppl/ppl(master): Sign of overflow has changed.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Apr 19 18:52:09 2012 +0200

Sign of overflow has changed.

---

 interfaces/Prolog/tests/expected_clpq2_int8 |    2 +-
 interfaces/Prolog/tests/expected_pchk_int8  |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/interfaces/Prolog/tests/expected_clpq2_int8 b/interfaces/Prolog/tests/expected_clpq2_int8
index 4d11dbb..8696719 100644
--- a/interfaces/Prolog/tests/expected_clpq2_int8
+++ b/interfaces/Prolog/tests/expected_clpq2_int8
@@ -25,7 +25,7 @@ Error: an overflow has been detected by the PPL: Positive overflow.
 no
 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 =< 5
diff --git a/interfaces/Prolog/tests/expected_pchk_int8 b/interfaces/Prolog/tests/expected_pchk_int8
index 45056d1..c1a4555 100644
--- a/interfaces/Prolog/tests/expected_pchk_int8
+++ b/interfaces/Prolog/tests/expected_pchk_int8
@@ -3,5 +3,5 @@ Error: an overflow has been detected by the PPL: Positive overflow.
 
 Error: an overflow has been detected by the PPL: Negative overflow.
 
-Error: an overflow has been detected by the PPL: Negative overflow.
+Error: an overflow has been detected by the PPL: Positive overflow.
 OK