[PPL-devel] ppl/interfaces/Prolog/tests pl_check.pl
Patricia Hill
hill at cs.unipr.it
Thu Jul 5 22:32:53 CEST 2007
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill at cs.unipr.it 2007-07-05 22:32:53
Modified files:
interfaces/Prolog/tests: pl_check.pl
Log message:
Modified the test for large integers in the case that
current_prolog_flag(bounded, true) holds.
In this case, the generated large integer may wrap
and any comparison with Max_int - obtained with
current_prolog_flag(max_integer, Max_int) meaningless.
So we also compare the generated integer with another
number that is generated to be about half its size
(and therefore already tested).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_check.pl.diff?cvsroot=ppl&r1=1.45&r2=1.46
More information about the PPL-devel
mailing list