Module: ppl/ppl Branch: master Commit: 70e0472e92b89b4d9f9132925e3e672122587dc3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70e0472e92b89...
Author: Enea Zaffanella zaffanella@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